module Foo

export
foo : IO ()
foo = putStrLn "Hello foo"