More GND + role inference woes

Richard Eisenberg eir at
Wed Oct 16 18:00:39 UTC 2013

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.


More information about the ghc-devs mailing list