On 30 October 2011 02:29, wren ng thornton <[email protected]> wrote: > ... Shouldn't the type of foo be: > > forall t m a > . (Monad m, MonadTransControl t) > => (Run t -> m a) > -> t m a > > ?
Yes, that's the proper quantification. One more fact: when I change the associated type synonym to a associated data type the error disappears. Bas _______________________________________________ Glasgow-haskell-users mailing list [email protected] http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
