1 files changed, 0 insertions, 23 deletions
diff --git a/src/AST.hs b/src/AST.hs
index e22d11f..0e040d4 100644
--- a/src/AST.hs
+++ b/src/AST.hs
@@ -129,32 +129,9 @@ type Ex = Expr (Const ())
 ext :: Const () a
 ext = Const ()
 
-type family Tup env where
-  Tup '[] = TNil
-  Tup (t : ts) = TPair (Tup ts) t
-
-mkTup :: f TNil -> (forall a b. f a -> f b -> f (TPair a b))
-      -> SList f list -> f (Tup list)
-mkTup nil _    SNil = nil
-mkTup nil pair (e `SCons` es) = pair (mkTup nil pair es) e
-
-tTup :: SList STy env -> STy (Tup env)
-tTup = mkTup STNil STPair
-
 eTup :: SList (Ex env) list -> Ex env (Tup list)
 eTup = mkTup (ENil ext) (EPair ext)
 
-unTup :: (forall a b. c (TPair a b) -> (c a, c b))
-      -> SList f list -> c (Tup list) -> SList c list
-unTup _ SNil _ = SNil
-unTup unpack (_ `SCons` list) tup =
-  let (xs, x) = unpack tup
-  in x `SCons` unTup unpack list xs
-
-type family InvTup core env where
-  InvTup core '[] = core
-  InvTup core (t : ts) = InvTup (TPair core t) ts
-
 type SOp :: Ty -> Ty -> Type
 data SOp a t where
   OAdd :: ScalIsNumeric a ~ True => SScalTy a -> SOp (TPair (TScal a) (TScal a)) (TScal a)