Current Eq (and Ord) instance is kinda crippled: two (morally) equivalent layouts will be treated as different. It would be very annoying to try to write proper Eq instance though; probably easier solution is to ensure that layout elements order is invariant by construction. That would require changes to Semigroup, Apply, and Bind instances as far as I can see.
Current
Eq
(andOrd
) instance is kinda crippled: two (morally) equivalent layouts will be treated as different. It would be very annoying to try to write properEq
instance though; probably easier solution is to ensure that layout elements order is invariant by construction. That would require changes toSemigroup
,Apply
, andBind
instances as far as I can see.