On 30 October 2011 02:29, wren ng thornton <w...@freegeek.org> 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 Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users