Vocabulary
monads

Inputs
maybean object
just-quotan object
nothing-quotan object


Outputs
None

Definition