f

Author: lehins

eras/shelley/impl/src/Cardano/Ledger/Shelley/State/Account.hs

@@ -57,7 +57,7 @@ instance NoThunks (ShelleyAccountState era)
 instance NFData (ShelleyAccountState era) where
   rnf = rwhnf
 
-instance Typeable era => EncCBOR (ShelleyAccountState era) where
+instance EncCBOR (ShelleyAccountState era) where
   encCBOR sas@(ShelleyAccountState _ _ _ _) =
     let ShelleyAccountState {..} = sas
      in encodeListLen 4
@@ -105,7 +105,7 @@ instance NFData (ShelleyAccounts era) where
   rnf (ShelleyAccounts accounts accountPtr) =
     accounts `deepseq` rnf accountPtr
 
-instance Typeable era => EncCBOR (ShelleyAccounts era) where
+instance EncCBOR (ShelleyAccounts era) where
   encCBOR ShelleyAccounts {saStates, saPtrs} =
     encodeListLen 2 <> encCBOR saStates <> encCBOR saPtrs
 

libs/cardano-ledger-core/src/Cardano/Ledger/Plutus/Data.hs

@@ -83,7 +83,7 @@ import qualified PlutusLedgerApi.V1 as PV1
 newtype PlutusData era = PlutusData PV1.Data
   deriving newtype (Eq, Generic, Show, NFData, NoThunks, Cborg.Serialise)
 
-instance Typeable era => EncCBOR (PlutusData era) where
+instance EncCBOR (PlutusData era) where
   encCBOR (PlutusData d) = fromPlainEncoding $ Cborg.encode d
 
 instance Typeable era => DecCBOR (PlutusData era) where
@@ -148,7 +148,7 @@ newtype BinaryData era = BinaryData ShortByteString
 
 instance HashAnnotated (BinaryData era) EraIndependentData
 
-instance Typeable era => EncCBOR (BinaryData era) where
+instance EncCBOR (BinaryData era) where
   encCBOR (BinaryData sbs) = encodeTag 24 <> encCBOR sbs
 
 instance Era era => DecCBOR (BinaryData era) where

libs/cardano-ledger-core/src/Cardano/Ledger/State/Governance.hs

@@ -145,7 +145,7 @@ deriving stock instance Show (PParams era) => Show (FuturePParams era)
 
 deriving via AllowThunk (FuturePParams era) instance NoThunks (FuturePParams era)
 
-instance (Typeable era, EncCBOR (PParams era)) => EncCBOR (FuturePParams era) where
+instance EncCBOR (PParams era) => EncCBOR (FuturePParams era) where
   encCBOR =
     encode . \case
       NoPParamsUpdate -> Sum NoPParamsUpdate 0

libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Conway/WitnessUniverse.hs

@@ -585,7 +585,7 @@ genWitBlock ::
   (Era era, Ord t, HasWitness t era) => Int -> Gen (ProofType t era) -> Gen (WitBlock t era)
 genWitBlock n g = blockFromProofList <$> vectorOf n g
 
-instance (Era era, Typeable t) => EncCBOR (WitBlock t era) where
+instance Era era => EncCBOR (WitBlock t era) where
   encCBOR (WitBlock _ m) = encCBOR (Map.elems m)
 
 genWitUniv ::