What we talk about when we talk about types

Dialogues in which we pedantically dissect the relationship between types, type constructors, typeclasses, the instances that tie them all together, and set theory.

What we talk about when we talk about types

These dialogues somewhat pedantically dissect what we mean when we say a type is an instance of a typeclass or a type has an instance of a typeclass and why. Through the course of conversation, we touch on the nature of types, type constructors, and typeclasses, which led to us talking about math, set theory an…