!module A
main = (\x : x) t