Open treeowl opened 1 year ago
I noticed that lbalance and rbalance don't have unfoldings, so they can't specialize to the Ord instances they use. I don't know if there are other missing pragmas of note.
lbalance
rbalance
Ord
I noticed that
lbalance
andrbalance
don't have unfoldings, so they can't specialize to theOrd
instances they use. I don't know if there are other missing pragmas of note.