fun <R1, E1, R2 : R1, E2> Effect<R2, E2>.andThen(otherEffect: Effect<R1, E1>): Effect<R2, Either<E1, E2>>
Composition of effects.
(Notice: it is actually like kleisli composition of monads... maybe in fact Nee and Effect should be a one type?)