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

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