3 ms·Also Haskell slowly approach dependent type system with type functions (type and data families).by thesz 15y agoAlso Haskell slowly approach dependent type system with type functions (type and data families).