Data.Vector.Coerce.Word
downcast
upcast
upcast'
type family
CmpWord
a b ::
Ordering