Re: Type error: Expected type: T. Actual type T ???

On 30 October 2011 02:29, wren ng thornton <wren@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