Plan 9 from Bell Labs’s /usr/web/sources/contrib/fernan/nhc98/tests/nhc-bugs/newtype-poly/Main.hs
module Main where import NewTypeBug newtype U a = U (T a) deriving Show x :: U Char x = U (T 'x') main = print x