module Main
( main
) where

main :: IO ()
main = pure ()