Merge pull request #1 from Topsii/quantified-superclasses

Add Foldable and Traversable instances to UnderScope
ejconlon · Oct 18, 2022 · ca0daa6 · ca0daa6
2 parents c9421bd + 6c2ef80
commit ca0daa6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Blanks/Internal/Under.hs b/src/Blanks/Internal/Under.hs
@@ -19,7 +19,7 @@ data UnderScope (n :: Type -> Type) (f :: Type -> Type) (e :: Type) (a :: Type)
   | UnderScopeFree !a
   | UnderScopeAbstract !(Abstract n e)
   | UnderScopeEmbed !(f e)
-  deriving stock (Eq, Show, Functor, Generic)
+  deriving stock (Eq, Show, Functor, Foldable, Traversable, Generic)
   deriving anyclass (NFData)
 
 instance (Functor n, Functor f) => Bifunctor (UnderScope n f) where