If you speak Scala, I recommend that you familiarise yourself with Scala's implicits. The latter are a generalisation of type classes. You can implement the latter using the former, see e.g. [1]. If you speak ML/OCaml/F#, then Oleg's [2] might also be easily accessible.

[1] B. C. Oliveira, A. Moors, and M. Odersky. Type classes as objects and implicits. https://ropas.snu.ac.kr/~bruno/papers/TypeClasses.pdf

[2] O. Kieselyov, Implementing, and Understanding Type Classes. http://okmij.org/ftp/Computation/typeclass.html

Here are some FREE Functional Programming (Haskell,Purescript)learning resources from 101 to building product:

https://github.com/functionalflow/brains/projects/9

Over 20 FREE FP books:

https://github.com/functionalflow/brains/tree/master/Zen-of-...

all content is now content marketing.