diff --git a/cardano-api/internal/Cardano/Api/Query/Expr.hs b/cardano-api/internal/Cardano/Api/Query/Expr.hs
index 71fb159624..ca737dd685 100644
--- a/cardano-api/internal/Cardano/Api/Query/Expr.hs
+++ b/cardano-api/internal/Cardano/Api/Query/Expr.hs
@@ -275,7 +275,7 @@ queryStakeDelegDeposits
 queryStakeDelegDeposits era stakeCreds
   | S.null stakeCreds = pure . pure $ pure mempty
   | otherwise = do
-      let sbe = inject era :: ShelleyBasedEra era
+      let sbe :: ShelleyBasedEra era = inject era
       queryExpr $ QueryInEra . QueryInShelleyBasedEra sbe $ QueryStakeDelegDeposits stakeCreds
 
 queryStakeDistribution
@@ -399,7 +399,7 @@ queryDRepState
           (Either EraMismatch (Map (L.Credential L.DRepRole L.StandardCrypto) (L.DRepState L.StandardCrypto)))
       )
 queryDRepState era drepCreds = do
-  let sbe = inject era :: ShelleyBasedEra era
+  let sbe :: ShelleyBasedEra era = inject era
   queryExpr $ QueryInEra $ QueryInShelleyBasedEra sbe $ QueryDRepState drepCreds
 
 queryDRepStakeDistribution
@@ -473,7 +473,7 @@ queryStakeVoteDelegatees
           (Either EraMismatch (Map StakeCredential (L.DRep L.StandardCrypto)))
       )
 queryStakeVoteDelegatees era stakeCredentials = do
-  let sbe = inject era :: ShelleyBasedEra era
+  let sbe :: ShelleyBasedEra era = inject era
   queryExpr $ QueryInEra $ QueryInShelleyBasedEra sbe $ QueryStakeVoteDelegatees stakeCredentials
 
 queryAccountState
diff --git a/cardano-api/internal/Cardano/Api/Tx/Body.hs b/cardano-api/internal/Cardano/Api/Tx/Body.hs
index 8d1a54793e..d10b295d33 100644
--- a/cardano-api/internal/Cardano/Api/Tx/Body.hs
+++ b/cardano-api/internal/Cardano/Api/Tx/Body.hs
@@ -2063,7 +2063,7 @@ fromAlonzoTxOut w txdatums txOut =
       (fromAlonzoTxOutDatum w txdatums (txOut ^. L.dataHashTxOutL))
       ReferenceScriptNone
  where
-  sbe = inject w :: ShelleyBasedEra era
+  sbe :: ShelleyBasedEra era = inject w
 
 fromAlonzoTxOutDatum
   :: ()
@@ -2095,7 +2095,7 @@ fromBabbageTxOut w txdatums txout =
           SJust rScript -> fromShelleyScriptToReferenceScript shelleyBasedEra rScript
       )
  where
-  sbe = inject w :: ShelleyBasedEra era
+  sbe :: ShelleyBasedEra era = inject w
 
   -- NOTE: This is different to 'fromBabbageTxOutDatum' as it may resolve
   -- 'DatumHash' values using the datums included in the transaction.