Not entirely fair. The Haskell is example is more complicated code (using type classes and type variables), and the error message provides more detail. But Ha

Not entirely fair. The Haskell is example is more complicated code (using type classes and type variables), and the error message provides more detail. But Haskell would benefit from better wording and not relying on symbols like ~