Use jsonnet for JSON