Types are also documentation for the developers reading and editing the code.