@override Map<String, dynamic> toJson([dynamic extra]) { return { "@type": CONSTRUCTOR, "type": type.toJson(), "@extra": extra, }; }