module TestMod

export
test : IO ()
test = putStrLn "Hello from a module"