flip order to avoid needing Num (Sum a)