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