let apply f v =   fun ~var_count ->     entity (SP.separate SP.space [f ~var_count; v ~var_count])