existential-types
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Existential types and effects |
|
10 | 426 | September 12, 2025 |
| Syntax for returning existential types from a function |
|
1 | 174 | April 8, 2025 |
| Reads for GADT, existential types, universally quantified type code |
|
4 | 1348 | March 20, 2025 |
| A pattern for using GADTs to subset cases |
|
19 | 1119 | September 17, 2024 |
| Annotating by an existential type |
|
6 | 688 | June 4, 2024 |
| Exisential types and types variables equality |
|
1 | 439 | August 29, 2023 |
| Equal existential types are not printed equally by the top-level? |
|
4 | 724 | February 19, 2022 |
| What's a usage pattern for existential type variables? |
|
6 | 3932 | September 28, 2021 |