module Main where

import Prelude (IO, pure)

main :: IO ()
main = pure ()