more hints about eliminating Data.Foldable.toList#1620

Open

jvoigtlaender wants to merge 2 commits intondmitchell:masterfrom jvoigtlaender:more-toList-removal

+170

Commits on Nov 3, 2024

more hints about eliminating Data.Foldable.toList
jvoigtlaender
committed

Commits on Dec 15, 2024

generate hint summary
jvoigtlaender
committed