disjunctionToStep

ScalazToStepOps

dsl

monadic