Parameterize conwayGovCertTransition by rule

Author: teodanciu

eras/conway/impl/src/Cardano/Ledger/Conway/Rules/GovCert.hs

@@ -168,18 +168,18 @@ instance
   type PredicateFailure (ConwayGOVCERT era) = ConwayGovCertPredFailure era
   type Event (ConwayGOVCERT era) = Void
 
-  transitionRules = [conwayGovCertTransition @era]
+  transitionRules = [conwayGovCertTransition]
 
 conwayGovCertTransition ::
-  forall era.
+  forall rule era.
   ( ConwayEraPParams era
   , ConwayEraCertState era
-  , InjectRuleFailure "GOVCERT" ConwayGovCertPredFailure era
-  , State (EraRule "GOVCERT" era) ~ CertState era
-  , Signal (EraRule "GOVCERT" era) ~ ConwayGovCert
-  , Environment (EraRule "GOVCERT" era) ~ ConwayGovCertEnv era
+  , InjectRuleFailure rule ConwayGovCertPredFailure era
+  , State (EraRule rule era) ~ CertState era
+  , Signal (EraRule rule era) ~ ConwayGovCert
+  , Environment (EraRule rule era) ~ ConwayGovCertEnv era
   ) =>
-  TransitionRule (EraRule "GOVCERT" era)
+  TransitionRule (EraRule rule era)
 conwayGovCertTransition = do
   TRC
     ( ConwayGovCertEnv {cgcePParams, cgceCurrentEpoch, cgceCurrentCommittee, cgceCommitteeProposals}

eras/dijkstra/impl/src/Cardano/Ledger/Dijkstra/Rules/GovCert.hs

@@ -99,14 +99,14 @@ instance Typeable era => DecCBOR (DijkstraGovCertPredFailure era) where
 
 instance
   ( ConwayEraPParams era
+  , ConwayEraCertState era
   , State (EraRule "GOVCERT" era) ~ CertState era
   , Signal (EraRule "GOVCERT" era) ~ ConwayGovCert
   , Environment (EraRule "GOVCERT" era) ~ ConwayGovCertEnv era
   , InjectRuleFailure "GOVCERT" ConwayGovCertPredFailure era
   , EraRule "GOVCERT" era ~ DijkstraGOVCERT era
   , Eq (PredicateFailure (EraRule "GOVCERT" era))
   , Show (PredicateFailure (EraRule "GOVCERT" era))
-  , ConwayEraCertState era
   ) =>
   STS (DijkstraGOVCERT era)
   where
@@ -117,7 +117,7 @@ instance
   type PredicateFailure (DijkstraGOVCERT era) = DijkstraGovCertPredFailure era
   type Event (DijkstraGOVCERT era) = Void
 
-  transitionRules = [Conway.conwayGovCertTransition @era]
+  transitionRules = [Conway.conwayGovCertTransition]
 
 conwayToDijkstraGovCertPredFailure ::
   forall era. ConwayGovCertPredFailure era -> DijkstraGovCertPredFailure era