import CheckTypes main :: IO () main = return ()