AbstractMonad
ComprehensionMonadGenerator
apply
PartialAppliedMonadic