Laws

Applicative Cobind Comonad Functor Memoizable Monad MonadError MonadEval MonadFilter MonadRec MonoidK SemigroupK Suspendable

lh

IsEquiv

lhs

IsEqArrow