This is such a good presentation. The story it tells of the derivation of the type is ahistorical, but it makes a lot of sense. If you are looking for an intuit

This is such a good presentation. The story it tells of the derivation of the type is ahistorical, but it makes a lot of sense. If you are looking for an intuition of how the types work, it's just fantastic.