diff --git a/cardano-api/internal/Cardano/Api/Eras/Case.hs b/cardano-api/internal/Cardano/Api/Eras/Case.hs
index 5f3e716f90..9f7392c138 100644
--- a/cardano-api/internal/Cardano/Api/Eras/Case.hs
+++ b/cardano-api/internal/Cardano/Api/Eras/Case.hs
@@ -21,6 +21,7 @@ module Cardano.Api.Eras.Case
 
     -- Conversions
   , shelleyToAllegraEraToByronToAllegraEra
+  , alonzoEraOnwardsToMaryEraOnwards
   ) where
 
 import           Cardano.Api.Eon.AlonzoEraOnwards
@@ -154,3 +155,11 @@ shelleyToAllegraEraToByronToAllegraEra :: ShelleyToAllegraEra era -> ByronToAlle
 shelleyToAllegraEraToByronToAllegraEra = \case
   ShelleyToAllegraEraShelley -> ByronToAllegraEraShelley
   ShelleyToAllegraEraAllegra -> ByronToAllegraEraAllegra
+
+alonzoEraOnwardsToMaryEraOnwards :: ()
+  => AlonzoEraOnwards era
+  -> MaryEraOnwards era
+alonzoEraOnwardsToMaryEraOnwards = \case
+  AlonzoEraOnwardsAlonzo  -> MaryEraOnwardsAlonzo
+  AlonzoEraOnwardsBabbage -> MaryEraOnwardsBabbage
+  AlonzoEraOnwardsConway  -> MaryEraOnwardsConway
diff --git a/cardano-api/src/Cardano/Api.hs b/cardano-api/src/Cardano/Api.hs
index 0b6557c8f0..8f2b7ddbc3 100644
--- a/cardano-api/src/Cardano/Api.hs
+++ b/cardano-api/src/Cardano/Api.hs
@@ -158,6 +158,10 @@ module Cardano.Api (
     caseShelleyToAlonzoOrBabbageEraOnwards,
     caseShelleyToBabbageOrConwayEraOnwards,
 
+    -- ** Eon relaxation
+    shelleyToAllegraEraToByronToAllegraEra,
+    alonzoEraOnwardsToMaryEraOnwards,
+
     -- * Assertions on era
     requireShelleyBasedEra,
 
@@ -1053,6 +1057,7 @@ import           Cardano.Api.Eon.ShelleyToBabbageEra
 import           Cardano.Api.Eon.ShelleyToMaryEra
 import           Cardano.Api.EraCast
 import           Cardano.Api.Eras
+import           Cardano.Api.Eras.Case
 import           Cardano.Api.Eras.Constraints
 import           Cardano.Api.Error
 import           Cardano.Api.Feature