[Haskell-cafe] Problem with existential quantification

Eric eeoam at ukfsn.org
Thu Sep 25 13:15:56 EDT 2008

Dear all,

I've written a function with the following type:

build :: Bifunctor s => (forall b. (s a b  ->  b) -> b)  ->  Fix s a

When I try to compile I get the following error:

Illegal polymorphic or qualified type: forall b. (s a b -> b) -> b
In the type signature for `build':
  build :: (Bifunctor s) => (forall b. (s a b -> b) -> b) -> Fix s a

What's happening?


More information about the Haskell-Cafe mailing list