module Test.Dummy where main :: IO () main = pure ()