Simpler Semigroup instance for InsideLam and InterestingCtxtwip/improve-T12150

This mirrors the definition of `(&&)` and `(||)` now, relieving the
Simplifier of a marginal amount of pressure.

1 files changed, 4 insertions, 6 deletions

diff --git a/compiler/basicTypes/BasicTypes.hs b/compiler/basicTypes/BasicTypes.hs
index 94e2d2daa8..7513e08f82 100644
--- a/compiler/basicTypes/BasicTypes.hs
+++ b/compiler/basicTypes/BasicTypes.hs
@@ -936,9 +936,8 @@ data InterestingCxt
 -- | If there is any 'interesting' identifier occurance, then the
 -- aggregated occurance info of that identifier is considered interesting.
 instance Semi.Semigroup InterestingCxt where
-  IsInteresting <> _ = IsInteresting
-  _ <> IsInteresting = IsInteresting
-  _ <> _             = NotInteresting
+  NotInteresting <> x = x
+  IsInteresting  <> _ = IsInteresting
 
 instance Monoid InterestingCxt where
   mempty = NotInteresting
@@ -957,9 +956,8 @@ data InsideLam
 -- | If any occurance of an identifier is inside a lambda, then the
 -- occurance info of that identifier marks it as occuring inside a lambda
 instance Semi.Semigroup InsideLam where
-  IsInsideLam <> _ = IsInsideLam
-  _ <> IsInsideLam = IsInsideLam
-  _ <> _           = NotInsideLam
+  NotInsideLam <> x = x
+  IsInsideLam  <> _ = IsInsideLam
 
 instance Monoid InsideLam where
   mempty = NotInsideLam