2 ms·

Haskell has a very similar core type but adorns it with type classes instead of modules.

• anaphor 13y ago
  and type classes desugar to regular types except with allowance for higher-ranked types