Module unification