{-# OPTIONS_GHC -Wall -Werror #-} module Main where -- | main, do nothing main :: IO () main = return ()