shapeless: Add sumSalary example