module Main where import Run main :: IO () main = run