AbstractMonad
ComprehensionMonadGenerator
Alternative
scalaz
apply
PartialAppliedMonadic