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