diff --git a/plutus-core/plutus-ir/src/PlutusIR/Transform/Beta.hs b/plutus-core/plutus-ir/src/PlutusIR/Transform/Beta.hs
index 62f1250562f..15ed10cb00b 100644
--- a/plutus-core/plutus-ir/src/PlutusIR/Transform/Beta.hs
+++ b/plutus-core/plutus-ir/src/PlutusIR/Transform/Beta.hs
@@ -27,12 +27,13 @@ betaStep = \case
             bindings = binding :| []
         in
             Let a NonRec bindings body
-    TyInst a (TyAbs _ tyname kind body) typ ->
-        let tyVarDecl = TyVarDecl a tyname kind
-            tyBinding = TypeBind a tyVarDecl typ
-            bindings  = tyBinding :| []
-        in
-            Let a NonRec bindings body
+    -- This case is disabled as it introduces a lot of type inlining (determined from profiling)
+    -- TyInst a (TyAbs _ tyname kind body) typ ->
+    --     let tyVarDecl = TyVarDecl a tyname kind
+    --         tyBinding = TypeBind a tyVarDecl typ
+    --         bindings  = tyBinding :| []
+    --     in
+    --         Let a NonRec bindings body
     t -> t
 
 {-|