Archived tweet #10732 from the @leastfixedpoint Twitter Archive

@arntzenius @maxsnew @jcreed This doesn't accidentally expose an overly-fine equivalence. Danger of tree representation is accidentally deriving eq :-)