module Main where import Prelude import qualified Lib main :: IO () main = Lib.main