// module Foo1
import "Prelude"

foo :: Integer -> Boolean
foo i = i == 5
--
// module Foo2
import "Prelude"

foo :: Integer -> Integer -> Boolean
foo i j = i == j
--
import "Prelude"
import "Foo1"
import "Foo2"

main = foo 5 && foo 5 4
--
false