comparing -package:basic-prelude package:dependent-sum-template