module Main where

main ∷ IO ()
main = return ()