Dominic. _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
Please ignore my last message. I assume the answer is that Char' a is
replaced everywhere by Char before the typechecker gets a look in.