fixup! Add UTXOW rule for the ShelleyMA eras.

shelley-ma/impl/src/Cardano/Ledger/ShelleyMA/Rules/Utxow.hs

@@ -17,6 +17,7 @@ import qualified Cardano.Ledger.Crypto as CryptoClass
 import Cardano.Ledger.Mary.Value (PolicyID, Value, policies, policyID)
 import Cardano.Ledger.Shelley (ShelleyBased)
 import Cardano.Ledger.ShelleyMA (MaryOrAllegra, ShelleyMAEra)
+import Cardano.Ledger.ShelleyMA.Rules.Utxo ()
 import Cardano.Ledger.ShelleyMA.Scripts ()
 import Cardano.Ledger.ShelleyMA.TxBody ()
 import Cardano.Ledger.Val (Val)
@@ -35,9 +36,7 @@ import Shelley.Spec.Ledger.Coin (Coin)
 import Shelley.Spec.Ledger.Delegation.Certificates (requiresVKeyWitness)
 import Shelley.Spec.Ledger.Keys (DSignable, Hash)
 import Shelley.Spec.Ledger.LedgerState (UTxOState)
-import qualified Shelley.Spec.Ledger.LedgerState as Shelley
 import Shelley.Spec.Ledger.STS.Utxo
-import qualified Shelley.Spec.Ledger.STS.Utxo as Shelley
 import Shelley.Spec.Ledger.STS.Utxow
   ( UTXOW,
     UtxowPredicateFailure (..),
@@ -120,15 +119,11 @@ instance
     STS (UTXO (ShelleyMAEra ma c)),
     BaseM (UTXO (ShelleyMAEra ma c)) ~ ShelleyBase,
     Compactible (Core.Value (ShelleyMAEra ma c)),
-    Core.AnnotatedData (Core.Script (ShelleyMAEra ma c)),
     Val (Core.Value (ShelleyMAEra ma c)),
     GetPolicies (Core.Value (ShelleyMAEra ma c)) (ShelleyMAEra ma c),
     Core.ChainData (Core.Value (ShelleyMAEra ma c)),
     Core.SerialisableData (Core.Value (ShelleyMAEra ma c)),
     Core.SerialisableData (CompactForm (Core.Value (ShelleyMAEra ma c))),
-    Environment (UTXO (ShelleyMAEra ma c)) ~ Shelley.UtxoEnv (ShelleyMAEra ma c),
-    State (UTXO (ShelleyMAEra ma c)) ~ Shelley.UTxOState (ShelleyMAEra ma c),
-    Signal (UTXO (ShelleyMAEra ma c)) ~ Tx (ShelleyMAEra ma c),
     DSignable c (Hash c EraIndependentTxBody)
   ) =>
   STS (UTXOW (ShelleyMAEra ma c))