concrete functor and monad transformers
#64Fix `ExceptT` docs for `catchE`
The docs for catchE say:
Handle an exception.
* `catchE h (lift m) = lift m`
* `catchE h (throwE e) = h e`That's wrong, the order is messed up. It should be catchE (lift m) h = lift m.
