(module Main)

(import Lib all)

(def main (IO Unit)
 (() someFunc))