类型谓词 Type predicate

使用 parameter is Type 返回注解，让函数把收窄结果传达给调用方。

别名 user-defined type predicate