Upper bound `{ghc-typelits,singletons}-presburger` (#5829)
Upper bound `{ghc-typelits,singletons}-presburger` (#5829)

michalkonecny/stackage,fpco/stackage,iand675/stackage,jonschoning/stackage,mrkkrp/stackage,Daniel-Diaz/stackage,simonmichael/stackage,soenkehahn/stackage