Merge pull request #316 from IntersectMBO/newhoggy/simplify-EraInEon

Simplify `EraInEon` to take fewer constraints
IntersectMBO · Mar 4, 2024 · 0453c31 · 0453c31
2 parents 86e4ba9 + 880c0b9
commit 0453c31
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/cardano-api/internal/Cardano/Api/Eras/Core.hs b/cardano-api/internal/Cardano/Api/Eras/Core.hs
@@ -191,8 +191,7 @@ monoidForEraInEonA sbe = forEraInEon sbe (pure mempty)
 
 data EraInEon eon where
   EraInEon
-    :: ( Typeable era
-       , Typeable (eon era)
+    :: ( Typeable (eon era)
        , Eon eon
        )
     => eon era