Added 'MonadSafe' header to the documentation