comments
back to one-step HasRep
Rep (Sum a)