Mercury/ints/exported_unify_helper_1.int:003: In clause for unification Mercury/ints/exported_unify_helper_1.int:003: predicate for type `foo': Mercury/ints/exported_unify_helper_1.int:003: error: call to undefined Mercury/ints/exported_unify_helper_1.int:003: predicate Mercury/ints/exported_unify_helper_1.int:003: `exported_unify_helper_1.unify_foo'/2.