I’ve revisited Typing Tricks: Diff lists various times for implementing heterogeneous lists and maps.
edit: found some related libs in this comment.
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Open source projects using GADTs | 12 | 1887 | April 26, 2022 | |
| (Business) Use Cases for GADTs | 13 | 2312 | June 13, 2018 | |
| Tutorial on GADTs | 25 | 2939 | June 12, 2024 | |
| Reads for GADT, existential types, universally quantified type code | 3 | 1146 | April 9, 2020 | |
| A pattern for using GADTs to subset cases | 19 | 885 | September 17, 2024 |