QIO.VecEq

class VecEq v

data VecEqL x a

vEqZero

add

vEqPlus

vEqTimes

vEqAt

class EqMonad m

data AsMonad m a

unEmbed