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'