Yep, I mean like
newtype MyT m a = MyT (ReaderT MyEnv (StateT MyState m) a). But one can use ReaderT MyEnv (State MyState m) a directly as well.
I found the MTL style (tagless final) a bit problematic anyway, so I wanted to comment about this.
Yep, I mean like
newtype MyT m a = MyT (ReaderT MyEnv (StateT MyState m) a). But one can use ReaderT MyEnv (State MyState m) a directly as well.
I found the MTL style (tagless final) a bit problematic anyway, so I wanted to comment about this.