module T1133 where newtype X = X Int