module Main (main) where





main :: IO ()
main = pure ()






foo :: Int
foo = 5