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