There used to be a object Haskell, with a more classic type class model than the current trait-like model.

It looked like mathier version of OCaml written classic object oriented way, not half bad. Didn't get traction. It was mostly defined in standard Haskell.