On a unification problem related to Kreisel's conjecture