I know that Yesod now prefers unliftio, but there are valid instances that can be written for MonadCatch and MonadMask (I believe this follows from HandlerFor being isomorphic to ReaderT). Would you be open to having those instances?