existential-types
Topic | Replies | Views | Activity | |
---|---|---|---|---|
A pattern for using GADTs to subset cases | 3 | 540 | February 11, 2024 | |
Exisential types and types variables equality | 1 | 324 | August 29, 2023 | |
Equal existential types are not printed equally by the top-level? | 4 | 635 | February 19, 2022 | |
What's a usage pattern for existential type variables? | 6 | 2908 | September 28, 2021 | |
Reads for GADT, existential types, universally quantified type code | 3 | 1063 | April 9, 2020 |