To/FromJSON instance: Use "t" instead of "tag", "v" instead of "val".