Data.Equivalence.Monad
class MonadEquiv c v d m
data EquivT s c v m a
type EquivT' s
type EquivM s c v
type EquivM' s v
runEquivT
runEquivT'
runEquivM
runEquivM'