> Types are specifications of programs and data. The only reason that isn't obvious is because most of our type systems are rudimentary.

One major limitation of almost all type systems: they fail to distinguish logical types from representation.