Monad.Either
maybeToLeft
maybeToRight
leftToMaybe
rightToMaybe
whenLeft
whenLeftM
whenRight
whenRightM