Experiment with json-typecheck