json-template-typed-racket