concrete functor and monad transformers

#72Exception successE

It would be nice to have a successE function along with the throwE and catchE that will lift the m a -> ExceptT e m a.