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