someacnt_, 1 year ago 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.
newtype MyT m a = MyT (ReaderT MyEnv (StateT MyState m) a)
ReaderT MyEnv (State MyState m) a
I found the MTL style (tagless final) a bit problematic anyway, so I wanted to comment about this.