[Haskell-cafe] Implicit newtype unwrapping

John D. Earle JohnDEarle at cox.net
Thu Dec 3 05:45:55 EST 2009

I am uncertain if what any of you seek makes sense. The type checker is concerned with establishing a principle type and that is what is being reported, the principle type. The compiler as I pointed out in "On the Meaning of Haskell 8" by design has not a clue as to the significance your type alias has.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20091203/9aec892f/attachment.html

More information about the Haskell-Cafe mailing list