Vocabulary
monads

Inputs
functoran object
quotan object


Outputs
functor'an object


Definition

GENERIC#: $> 1 ( functor quot -- functor' )