Type error: Expected type: T. Actual type T ???
Bas van Dijk
v.dijk.bas at gmail.com
Sun Oct 30 10:48:09 CET 2011
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.
More information about the Glasgow-haskell-users