1 2 3 4 5 6 7 8
-- fails core-lint in 6.2 module ShouldCompile where newtype Foo = Foo [Foo] newtype Bar = Bar Foo unBar :: Bar -> Foo unBar (Bar x) = x