1 files changed, 0 insertions, 23 deletions

diff --git a/events/src/Events/Spec/Eval.hs b/events/src/Events/Spec/Eval.hs
index 9cfb7c1..fdc18c8 100644
--- a/events/src/Events/Spec/Eval.hs
+++ b/events/src/Events/Spec/Eval.hs
@@ -1,10 +1,7 @@
 {-# LANGUAGE GADTs, DataKinds, TypeFamilies, TypeOperators, RankNTypes, ScopedTypeVariables #-}
-{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances #-}
-{-# LANGUAGE InstanceSigs #-}
 
 module Events.Spec.Eval
   ( evalExpr
-  , Bindable(..) 
   ) where
 
 import Events.Spec.Types
@@ -42,23 +39,3 @@ evalExpr (EVal a)                 = a
 evalExpr (ELam a)                 = a
 evalExpr (EApp (ELam (EPri f)) a) = evalExpr . f $ evalExpr a
 evalExpr (EApp f a)               = evalExpr $ beta a (evalExpr f)
-
-type family Ctx m f where
-  Ctx m (m a -> b) = (a ': Ctx m b)
-  Ctx m a = '[]
-
-type family Fin m f where
-  Fin m (m a -> b) = Fin m b
-  Fin m (m a) = a
-  Fin m a = a
-
-class Bindable m b where
-  liftE :: (Val m a -> b) -> Expr m (a ': Ctx m b) (Fin m b)
-
-instance ((Val m b) ~ (m b), Applicative m, Bindable m c) => Bindable m (m b -> c) where
-  liftE :: (Val m a -> m b -> c) -> Expr m (a ': b ': Ctx m c) (Fin m c)
-  liftE f = (EPri :: (Val m a -> Expr m (b ': Ctx m c) (Fin m c)) -> Expr m (a ': b ': Ctx m c) (Fin m c)) . ((liftE :: (Val m b -> c) -> Expr m (b ': Ctx m c) (Fin m c)) . ) $ f
-
-instance {-# OVERLAPPABLE #-} (Val m b ~ m b, Ctx m (m b) ~ '[], Fin m (m b) ~ b) => Bindable m (m b) where
-  liftE :: (Val m a -> Val m b) -> Expr m '[a] b
-  liftE = EPri . (EVal .)