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

[Bas van Dijk]

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