Comment by kyawzazaw

> HM-typed functional programming

Mercury also uses Haskell for their backend https://mercury.com/