[Haskell-cafe] how do I avoid excessive constructor application?

[Stefan Holdermans]

Lemmih,

> And you can "fix" it with some unsafeCoerce# magic. (:

Actually, as I pointed out, the required coercion in perfectly safe, 
though not implicit:

coerceRight :: Either a b -> Either c b
coerceRight (Right b) = Right b

Regards,

Stefan