Unification for JS