// module M1
import "Prelude"

foo :: Integer -> Integer -> Integer
foo = (+)
--
// module M2
import "Prelude"

foo :: String -> String -> String -> <Proc> ()
foo a b c = do
    print a
    print b
    print c
--
import "Prelude"
import "M1"
import "M2"

main = ignore (foo "Hello" "world" "!")
--
Hello
world
!
()