typeside t schema s : t instance i : s ---------------------------------- command (export_json_instance i )