14 Jan
2013
14 Jan
'13
6:11 p.m.
On Mon, Jan 14, 2013 at 2:57 PM, Roman Cheplyaka
It's described here: http://hackage.haskell.org/trac/ghc/wiki/NewtypeWrappers
We seem to be talking past each other. There's a specific problem related to type classes and invariants on data types mentioned earlier on this thread. Simon's solution here seems to be that we only coerce a structure from one newtype to the base type if the constructors are exposed, hence my question if the code changes semantics due to adding imports.