Add missing mapMaybeT
Add instances for MonadReader
Add missing instances for MonadState