TODO: explain the need for one validation primitive TODO: explain static typing, pattern matching, dependent types, etc.
