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

[Lemmih]

On Wed, 2 Mar 2005 15:54:51 +0100, Stefan Holdermans
<sholderm at students.cs.uu.nl> wrote:
> 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

I'm not disputing that.

-- 
Friendly,
  Lemmih