just an example of how simple ADTs should have JSON serialization and deserialization automatically derived - View it on GitHub