existential-types
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Equal existential types are not printed equally by the top-level? |
|
4 | 240 | February 19, 2022 |
| What's a usage pattern for existential type variables? |
|
6 | 1029 | September 28, 2021 |
| Reads for GADT, existential types, universally quantified type code |
|
3 | 712 | April 9, 2020 |