{-# WArNING test,
  foo ["These are bad functions", "Really bad!"] #-}
test :: IO ()
test = pure ()