module Main
       ( main  -- :: IO ()
       ) where

main :: IO ()
main = return ()