Typing Haskell in Scala(z)