-- | Comment on the first declaration
main = return ()