{-# Language NoListTuplePuns #-}

type X = (Int, String)

type Y = [String, Int]