let apply f v = `Apply (make_id (`Of (f,v)), f, v)