Laws
Applicative
Cobind
Comonad
Functor
Memoizable
Monad
MonadError
MonadEval
MonadFilter
MonadRec
MonoidK
SemigroupK
Suspendable
lh
IsEquiv
lhs
IsEqArrow