module Main where import MyLib (libMain) main :: IO () main = libMain