From 514d521676d3c59e35c178829a0617102e6e47c7 Mon Sep 17 00:00:00 2001
From: effectfully <effectfully@gmail.com>
Date: Fri, 19 Jul 2024 05:20:23 +0200
Subject: [PATCH] [Costing] Remove the 'ExMemoryUsage' instance for
 'SomeTypeIn' (#6318)

---
 .../src/PlutusCore/Evaluation/Machine/ExMemoryUsage.hs        | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/plutus-core/plutus-core/src/PlutusCore/Evaluation/Machine/ExMemoryUsage.hs b/plutus-core/plutus-core/src/PlutusCore/Evaluation/Machine/ExMemoryUsage.hs
index e89752ed104..efafcbf14ce 100644
--- a/plutus-core/plutus-core/src/PlutusCore/Evaluation/Machine/ExMemoryUsage.hs
+++ b/plutus-core/plutus-core/src/PlutusCore/Evaluation/Machine/ExMemoryUsage.hs
@@ -156,10 +156,6 @@ instance (ExMemoryUsage a, ExMemoryUsage b) => ExMemoryUsage (a, b) where
     memoryUsage (a, b) = CostRose 1 [memoryUsage a, memoryUsage b]
     {-# INLINE memoryUsage #-}
 
-instance ExMemoryUsage (SomeTypeIn uni) where
-    memoryUsage _ = singletonRose 1
-    {-# INLINE memoryUsage #-}
-
 instance (Closed uni, uni `Everywhere` ExMemoryUsage) => ExMemoryUsage (Some (ValueOf uni)) where
     memoryUsage (Some (ValueOf uni x)) = bring (Proxy @ExMemoryUsage) uni (memoryUsage x)
     {-# INLINE memoryUsage #-}