module Main (main) where

main :: IO ()
main = do
  return ()