Is there any sensible way to make<br><br>newtype FooT m e = FooT (StateT Bar m e) deriving (MonadState)<br><br>work to give instance MonadState Bar (FooT m e)?<br><br>That is, I&#39;m asking if there would be a semantically sensible way of modifying GeneralizedNewtypeDeriving to handle multi-parameter type classes when there is a functional dependency involved, assuming by default that the newtype is the more general of the types, perhaps?<br>
<br clear="all">Louis Wasserman<br><a href="mailto:wasserman.louis@gmail.com">wasserman.louis@gmail.com</a><br>