Seeing types where others don't: static type inference for jq | Heykuki News