What other languages do type classes like Haskell?
That's a yuuuuge amount of languages that follow "Haskell"'s design! (Maybe you should start counting Haskell-to-X compilers separately to pad the number "1" a bit?)
That's just amazingly hypocritical, but I guess the tactic of "blame other people for your own behaviour to make it look like tu-quoque if they respond" hasn't gotten old for you yet?
Well enough, sir.
Idris – implicit arguments
Agda – instance arguments
OCaml – Modular implicits
:-)