MonadState and MonadReader instances for ExceptionT