类型化数据验证利器