(module Main) (importUnrestricted Lib) (= main (IO Unit) (() someFunc))