@haskell.org
| Subject: Re: GHC 6.5 error? Illegal polymorphic or qualified type
|
| Hello
|
| Here is a short example of the GHC 6.5 problem:
|
| type AnyE a = forall err. Either err a
| foo :: Monad m = AnyE (m t)
| foo = undefined
|
| Works with older versions of GHC 6.5, but newer versions
Hello
Here is a short example of the GHC 6.5 problem:
type AnyE a = forall err. Either err a
foo :: Monad m = AnyE (m t)
foo = undefined
Works with older versions of GHC 6.5, but newer versions
fail with the:
Illegal polymorphic or qualified type: forall err. Either err (m t)
In the