Updated documentation
Added `MonadSafe` instance for the `transformers` package