Instance
Applicative
Cobind
Comonad
Functor
Memoizable
Monad
MonadError
MonadEval
MonadFilter
MonadRec
MonoidK
SemigroupK
Suspendable
IsEqArrow
utils
IsEquiv
utils