style: remove commented-out deriveEq calls for AssocMap types

Replace commented-out deriveEq code with plain comments explaining
why PlutusTx.Eq instances are absent, addressing review feedback.

Author: Unisay

plutus-ledger-api/src/PlutusLedgerApi/V2/Contexts.hs

@@ -119,8 +119,7 @@ Since TxInfo contains Map fields (which use AssocMap internally), we cannot deri
 PlutusTx.Eq for it. This affects V2 onwards where assoc lists were changed to Maps.
 -}
 
--- See Note [No PlutusTx.Eq for types with AssocMap]
--- deriveEq ''TxInfo
+-- No PlutusTx.Eq instance, see Note [No PlutusTx.Eq for types with AssocMap]
 
 instance Pretty TxInfo where
   pretty TxInfo {txInfoInputs, txInfoReferenceInputs, txInfoOutputs, txInfoFee, txInfoMint, txInfoDCert, txInfoWdrl, txInfoValidRange, txInfoSignatories, txInfoRedeemers, txInfoData, txInfoId} =
@@ -148,8 +147,7 @@ data ScriptContext = ScriptContext
   }
   deriving stock (Generic, Haskell.Eq, Haskell.Show)
 
--- See Note [No PlutusTx.Eq for types with AssocMap]
--- deriveEq ''ScriptContext
+-- No PlutusTx.Eq instance, see Note [No PlutusTx.Eq for types with AssocMap]
 
 instance Pretty ScriptContext where
   pretty ScriptContext {scriptContextTxInfo, scriptContextPurpose} =

plutus-ledger-api/src/PlutusLedgerApi/V3/Contexts.hs

@@ -360,8 +360,7 @@ data GovernanceAction
   deriving anyclass (HasBlueprintDefinition)
   deriving (Pretty) via (PrettyShow GovernanceAction)
 
--- See Note [No PlutusTx.Eq for types with AssocMap]
--- PlutusTx.deriveEq ''GovernanceAction
+-- No PlutusTx.Eq instance, see Note [No PlutusTx.Eq for types with AssocMap]
 
 -- | A proposal procedure. The optional anchor is omitted.
 data ProposalProcedure = ProposalProcedure
@@ -372,8 +371,7 @@ data ProposalProcedure = ProposalProcedure
   deriving stock (Generic, Haskell.Show, Haskell.Eq, Haskell.Ord)
   deriving anyclass (HasBlueprintDefinition)
 
--- See Note [No PlutusTx.Eq for types with AssocMap]
--- PlutusTx.deriveEq ''ProposalProcedure
+-- No PlutusTx.Eq instance, see Note [No PlutusTx.Eq for types with AssocMap]
 
 instance Pretty ProposalProcedure where
   pretty ProposalProcedure {..} =
@@ -459,8 +457,7 @@ data TxInfo = TxInfo
   deriving stock (Generic, Haskell.Show, Haskell.Eq)
   deriving anyclass (HasBlueprintDefinition)
 
--- See Note [No PlutusTx.Eq for types with AssocMap]
--- PlutusTx.deriveEq ''TxInfo
+-- No PlutusTx.Eq instance, see Note [No PlutusTx.Eq for types with AssocMap]
 
 instance Pretty TxInfo where
   pretty TxInfo {..} =
@@ -496,8 +493,7 @@ data ScriptContext = ScriptContext
   deriving stock (Generic, Haskell.Eq, Haskell.Show)
   deriving anyclass (HasBlueprintDefinition)
 
--- See Note [No PlutusTx.Eq for types with AssocMap]
--- PlutusTx.deriveEq ''ScriptContext
+-- No PlutusTx.Eq instance, see Note [No PlutusTx.Eq for types with AssocMap]
 
 instance Pretty ScriptContext where
   pretty ScriptContext {..} =