allow unification of Of types with all functions