You can take it even further by just using Backpack. I think it’s a bit unfortunate that Backpack works on the package level (I have some ideas about changing that), but otherwise it seems like a much more principled approach.
Related topics
Topic | Replies | Views | Activity | |
---|---|---|---|---|
Let GHC implement folds for you! | 4 | 493 | March 30, 2025 | |
Applicative Logic | 4 | 1012 | October 2, 2024 | |
Foldl traverses with State, foldr traverses with anything | 34 | 2070 | January 9, 2024 | |
[ANN] fcf-containers v0.8.1 is out, with improved Control.Monad instances | 1 | 529 | April 12, 2023 | |
[Paper] Quotient Haskell: Lightweight Quotient Types for All | 0 | 1406 | July 15, 2023 |