mmkal

类型的编译期测试。有助于确保类型不会随着时间的推移而退化为过于宽松的状态。