Since then, HM has been extended in various ways, most notably with type class constraints like those in Haskell.
Seitdem wurde HM auf verschiedene Weise erweitert, insbesondere durch beschränkte Typen, wie sie in Haskell verwendet werden.