Demystifying Type (and some Un-Paradoxing) (via rsaarelm) — discussion

#plt