main :: IO () main = do return $ let a = "hello" in a return ()