main = (x : x) t