Add Eq OverridingBool instance
The motivation is that clash uses OverridingBool
in its code, and not having Eq
instance makes it hard to derive Eq
for their structures.
In general, would it be fine to just submit MRs adding Eq
instance to similar auxiliary types in GHC?