id: 8665e8be71204bc98f2f75665d09e145
parent_id: a9d43327ead64ee1b67a1a6d07b99a40
item_type: 1
item_id: c66c0433c6a14de9b9a40e5a7316e382
item_updated_time: 1696250773410
title_diff: "[]"
body_diff: "[{\"diffs\":[[0,\"n clause\"],[1,\" (used to 'easily express typeclass hierarchies' according to _Three Years..._)\"],[0,\"\\\n - [ ] \"]],\"start1\":27,\"start2\":27,\"length1\":16,\"length2\":95},{\"diffs\":[[0,\"phic to \"],[-1,\"monomorphic to \"],[0,\"untyped \"]],\"start1\":11157,\"start2\":11157,\"length1\":31,\"length2\":16},{\"diffs\":[[0,\"yped FOL\"],[-1,\"?\"],[0,\"). In su\"]],\"start1\":11168,\"start2\":11168,\"length1\":17,\"length2\":16},{\"diffs\":[[0,\"ght tags\"],[1,\"\\\n \\\n  - Polymorphic lightweight tags (t?)\\\n  - Polymorphic featherweight tags (t??)\\\n  - \"],[0,\"\\\n\\\n## Arc\"]],\"start1\":11780,\"start2\":11780,\"length1\":16,\"length2\":102}]"
metadata_diff: {"new":{},"deleted":[]}
encryption_cipher_text: 
encryption_applied: 0
updated_time: 2023-10-02T12:47:23.421Z
created_time: 2023-10-02T12:47:23.421Z
type_: 13