More GND + role inference woes

[Richard Eisenberg]

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