Fix makeStakeAddressRegistrationCertificate

Author: Jimbo4350

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

@@ -93,12 +93,11 @@ type family StakeRegistrationRequirements era where
   StakeRegistrationRequirements ShelleyEra = StakeCredential
 
 makeStakeAddressRegistrationCertificate
-  :: forall era
-   . IsShelleyBasedEra era
-  => StakeRegistrationRequirements era
+  :: ShelleyBasedEra era
+  -> StakeRegistrationRequirements era
   -> Certificate (ShelleyLedgerEra era)
-makeStakeAddressRegistrationCertificate scred =
-  case shelleyBasedEra @era of
+makeStakeAddressRegistrationCertificate sbe scred =
+  case sbe of
     ShelleyBasedEraDijkstra ->
       createRegCertWithDeposit scred
     ShelleyBasedEraConway ->