GADT support
The https://gitlab.science.ru.nl/clean-compiler-and-rts/compiler/-/tree/GADT?ref_type=heads branch contains code for rudimentary support for GADTs. This issue will track the wanted features, document the syntax and so on.
If you are using nitrile, you can use the compiler-gadt
package.
Edited by Mart Lubbers