On Sat, Oct 29, 2011 at 16:18, Bas van Dijk wrote:

type Run t = ∀ n β. Monad n ⇒ t n β → n (St t β)

foo :: (Monad m, MonadTransControl t) => (Run t -> m α) -> t m α foo f = liftControl f

Type checking 'foo' this gives the following error:

Couldn't match expected type `Run t' with actual type `Run t'

I *think* this might be odd reporting combined with an expected behavior: since the forall is embedded in the "type" declaration, the "t" inside the parens is not the same as the one outside (because each one has its own "forall" associated with it). If the type is inferred, the inference gets the association right, but the explicit "forall" from the definition of (Run t) used inside the parens tells ghc that they should be different. (I *think* this might mean manually expanding "Run t" and moving the "forall" to the outer scope, but now we're into territory I don't understand very well.) -- brandon s allbery allbery.b@gmail.com wandering unix systems administrator (available) (412) 475-9364 vm/sms