Revert "Remove unused constraint"

This reverts commit 880c0b9.
IntersectMBO · Mar 7, 2024 · 869ecda · 869ecda
1 parent 443e058
commit 869ecda
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/cardano-api/internal/Cardano/Api/Eras/Core.hs b/cardano-api/internal/Cardano/Api/Eras/Core.hs
@@ -191,7 +191,8 @@ monoidForEraInEonA sbe = forEraInEon sbe (pure mempty)
 
 data EraInEon eon where
   EraInEon
-    :: ( Typeable (eon era)
+    :: ( Typeable era
+       , Typeable (eon era)
        , Eon eon
        )
     => eon era