Have you given Raku (fka Perl 6) a try? It seems its roles[1] resemble Haskell's typeclasses, and it borrows heavily lots of good features found in other languages.

Disclaimer: I haven't used either language, just learned about Raku recently from this[2] excellent FOSDEM talk.

[1]: https://docs.raku.org/syntax/role

[2]: https://fosdem.org/2020/schedule/event/rakulang/