Reuse fromScope.

Author: robrix

semantic-core/src/Data/Scope.hs

@@ -51,11 +51,11 @@ instance HFunctor (Scope a) where
   hmap f = Scope . f . fmap (fmap f) . unScope
 
 instance (Eq   a, Eq   b, forall a . Eq   a => Eq   (f a), Monad f) => Eq   (Scope a f b) where
-  (==) = (==) `on` (unScope >=> sequenceA)
+  (==) = (==) `on` fromScope
 
 instance (Ord  a, Ord  b, forall a . Eq   a => Eq   (f a)
                         , forall a . Ord  a => Ord  (f a), Monad f) => Ord  (Scope a f b) where
-  compare = compare `on` (unScope >=> sequenceA)
+  compare = compare `on` fromScope
 
 deriving instance (Show a, Show b, forall a . Show a => Show (f a)) => Show (Scope a f b)