Originally published on Medium.
This document is a graphical exploration on the relationship between Types, Sets and Values. The goal is to help develop an intuition about types by representing them graphically in a very concrete way: as labels or post-its attached to expressions.
Audience: Beginner.