Types aren't just for the compiler and runtime, they're also to communicate intent to other programmers and future instances of self.