QIO.VecEq
class VecEq v
data VecEqL x a
class EqMonad m
data AsMonad m a