16 Oct
2013
16 Oct
'13
6 p.m.
On Oct 16, 2013, at 1:46 PM, Edward Kmett wrote:
Off the top of your head do things like the following work under the new scheme?
newtype T m a = T { runT :: StateT MyState m a } deriving (Monad, MonadState MyState, MonadTrans)
Yes, I believe that will work. The only "hard" part is for the `get` method of MonadState, but when we know the specific parameters, all should be OK. Richard