comparing -package:LambdaHack package:dependent-sum-template