ToJSON on output types, FromJSON on input types (where possible)

[endgame]

It is useful (e.g., when mocking services) to be able to decode requests and encode responses. Where possible, gen should generate bidirectional instances.