[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...
More information about the Haskell-Cafe