refactoring

1 files changed, 0 insertions, 4 deletions

diff --git a/src/LambdaCube/Compiler/DeBruijn.hs b/src/LambdaCube/Compiler/DeBruijn.hs
index 83e81188..2bc6cfdd 100644
--- a/src/LambdaCube/Compiler/DeBruijn.hs
+++ b/src/LambdaCube/Compiler/DeBruijn.hs
@@ -53,10 +53,6 @@ class Up{-TODO: rename-} a where
     usedVar :: Int -> a -> Bool
     usedVar = (getAny .) . foldVar ((Any .) . (==))
 
-instance (Up a, Up b) => Up (a, b) where
-    usedVar i (a, b) = usedVar i a || usedVar i b
-    foldVar f i (a, b) = foldVar f i a <> foldVar f i b
-
 instance Up Void where
     foldVar _ _ = elimVoid