No definitions found for 'higher order unification' Perhaps one of these: higher-order function, hawser iron, hickory ridge, ar, higher-order macro, hickory ridge