Instance

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

IsEqArrow

utils

IsEquiv

utils