module Main (main) where main :: IO () main = pure ()