类型即文档

一个好的类型签名，往往比一段注释更准确地说明函数做什么。