[Haskell] Re: Why Does This Typecheck?

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. Dominic.