[Haskell-cafe] how do I avoid excessive constructor application?
lemmih at gmail.com
Wed Mar 2 10:11:22 EST 2005
On Wed, 2 Mar 2005 15:54:51 +0100, Stefan Holdermans
<sholderm at students.cs.uu.nl> wrote:
> > 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.
More information about the Haskell-Cafe