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
_______________________________________________
ghc-devs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/ghc-devs
