His typeclasses article is also fantastic: https://diogocastro.com/blog/2018/06/17/typeclasses-in-persp...