Better ReaderT monad for Cats The goal of this project is to make a ReaderT monad with better time inference, just like ZIO. Work in progress.