ExceptT package:errors

Fold an ExceptT by providing one continuation for each constructor
Transform the left and right value
Run a monad action which may throw an exception in the ExceptT monad