comparing -package:Cabal-syntax package:dependent-sum-template