_:

x: builtins.fromJSON (builtins.toJSON x)