comparing -package:dependent-sum-template package:singletons-base