> Types are for compilers, not people [...]

This strikes me as a similar sentiment to “Requirements are for managers, not engineers”