Derive some more instances for Monotype.

robrix · robrix · commit fcfc81606a6e · 2019-07-18T15:26:13.000-04:00
diff --git a/semantic-core/src/Analysis/Typecheck.hs b/semantic-core/src/Analysis/Typecheck.hs
@@ -43,7 +43,7 @@ data Monotype a
   | MMeta a
   | MArr (Monotype a) (Monotype a)
   | MRecord (Map.Map User (Monotype a))
-  deriving (Eq, Functor, Ord, Show)
+  deriving (Eq, Foldable, Functor, Ord, Show, Traversable)
 
 type Meta = Int
 
