Omega became what called now "type families". Types at the kind level and kind polymorphism is much more close to dependent type system. Honestly, I cannot wa

Omega became what called now "type families". Types at the kind level and kind polymorphism is much more close to dependent type system. Honestly, I cannot wait. ;)