この言語の型システムではHaskell言語に倣い「型クラス」を用いることができる.
Haskell