module T1133A where newtype X = X Int