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