3 ms·
To clarify: Kind is able to type lambda-encoded recursive data types with Self Types. This is something that is not possible in Haskell.
by smaddox 5y ago
To clarify: Kind is able to type lambda-encoded recursive data types with Self Types. This is something that is not possible in Haskell.