- https://channel9.msdn.com/Shows/Going+Deep/C9-Lectures-Dr-Ralf-Lmmel-Advanced-Functional-Programming-Type-Classes - https://channel9.msdn.com/tags/ralf-laemmel See [this comment in a Discourse thread](https://discourse.purescript.org/t/understanding-typeequals/1450/9) for more context.
