fixup! cardano-ledger upgrade: use VRFVerKeyHash type and KeyRoleVRF …

…subtype

cardano-api/internal/Cardano/Api/Certificate.hs

@@ -110,7 +110,7 @@ import           Data.Text (Text)
 import qualified Data.Text as Text
 import qualified Data.Text.Encoding as Text
 import           Data.Typeable
-import           GHC.Exts (IsList (..), coerce, fromString)
+import           GHC.Exts (IsList (..), fromString)
 import           Network.Socket (PortNumber)
 
 -- ----------------------------------------------------------------------------
@@ -366,7 +366,7 @@ data GenesisKeyDelegationRequirements ere where
     :: ShelleyToBabbageEra era
     -> Hash GenesisKey
     -> Hash GenesisDelegateKey
-    -> Hash VrfKey
+    -> Ledger.VRFVerKeyHash Ledger.GenDelegVRF StandardCrypto
     -> GenesisKeyDelegationRequirements era
 
 makeGenesisKeyDelegationCertificate :: GenesisKeyDelegationRequirements era -> Certificate era
@@ -375,14 +375,12 @@ makeGenesisKeyDelegationCertificate
       atMostEra
       (GenesisKeyHash hGenKey)
       (GenesisDelegateKeyHash hGenDelegKey)
-      (VrfKeyHash hVrfKey)
+      hVrfKey
     ) =
     ShelleyRelatedCertificate atMostEra $
       shelleyToBabbageEraConstraints atMostEra $
         Ledger.ShelleyTxCertGenesisDeleg $
-          Ledger.GenesisDelegCert hGenKey hGenDelegKey $
-            -- Cast key role from StakePoolVRF to GenDelegVRF - FIXME
-            coerce hVrfKey
+          Ledger.GenesisDelegCert hGenKey hGenDelegKey hVrfKey
 
 data MirCertificateRequirements era where
   MirCertificateRequirements