Extensible JSON serializers and deserializers
