Ah. That derives both "ToJSON" and "FromJSON", as Aeson calls them. Cool!
Yeah, and it's actually more general than that: it describes how to serialize and deserialize them generally, so you could use, say, serde_json to get json, or serde_yaml to get yaml.