As far as I know, json-schema just checks type in runtime right? I don't know how we let TypeScript check json-schema type in compile-time.