| Do I have to hoist the forall quantifiers in bla -> forall a | . blub myself? At least, the code typechecks then.
Sigh. I forgot to make the forall-hoisting feature apply recursively when I added the rank-N stuff. It's a 2 line change to make it so, but it is a change. Workaround: do the forall-hoisting yourself. Sorry. Simon _______________________________________________ Glasgow-haskell-users mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
