Make_distinct is for blitting between values of distinct monomorphic types.
val blit : (src, dst) Base__.Blit_intf.blitval blito : (src, dst) Base__.Blit_intf.blitoval unsafe_blit : (src, dst) Base__.Blit_intf.blitval sub : (src, dst) Base__.Blit_intf.subval subo : (src, dst) Base__.Blit_intf.subo