data A = A!Int main = return ()