module Dummy where main :: IO () main = error ""