stepFunctor

CatsStepInstances

stepMonad

CatsStepInstances

stepToEither

dsl

stepToResult

dsl