Closed Avi-D-coder closed 1 year ago
If you wanted, you could add hand-written Data.Data.Data
instances. We have those in containers
and pqueue
. Those are a lot more tolerant of restrictions.
No need. I do not remember what I was using this for :)
This seems very strange to me.
Generic
instances are for types intended to be used "concretely" (constructors exposed), not ones intended to be used through an abstract datatype API.Generic
functions will happily break all the data structure invariants, and there's not really a whole lot you can do with them that's likely to be useful.