toJSON instances