Demystifying Type (and some Un-Paradoxing)

1 points by rsaarelm