Fix

Author: Jimbo4350

cardano-api/src/Cardano/Api/Experimental/Tx/Internal/Certificate/Compatible.hs

@@ -56,13 +56,12 @@ type family Delegatee era where
   Delegatee ShelleyEra = Api.Hash Api.StakePoolKey
 
 makeStakeAddressDelegationCertificate
-  :: forall era
-   . IsShelleyBasedEra era
-  => StakeCredential
+  :: ShelleyBasedEra era
+  -> StakeCredential
   -> Delegatee era
   -> Certificate (ShelleyLedgerEra era)
-makeStakeAddressDelegationCertificate sCred delegatee =
-  case shelleyBasedEra @era of
+makeStakeAddressDelegationCertificate sbe sCred delegatee =
+  case sbe of
     ShelleyBasedEraConway ->
       Certificate $
         Ledger.mkDelegTxCert (toShelleyStakeCredential sCred) delegatee