Qualified import of `Data.Sum.Base` fixing #2280#2290

Merged

MatthewDaggitt merged 3 commits intoagda:masterfrom

jamesmckinna:qualified-sum

Feb 25, 2024

Commits on Feb 11, 2024

Qualified import of `Data.Sum.Base as Sum`
jamesmckinna
committed

Commits on Feb 25, 2024