diff --git a/byg/src/ComputationM.hs b/byg/src/ComputationM.hs
index fa222a9..c8fef31 100644
--- a/byg/src/ComputationM.hs
+++ b/byg/src/ComputationM.hs
@@ -29,18 +29,8 @@ data Token t a where
 
 deriving instance Show (Token t a)
 
-data TokenTraversable
 data TokenNotTraversable
 
-instance Functor (Token TokenTraversable) where
-  fmap f (Token n) = Token n
-
-instance Foldable (Token TokenTraversable) where
-  foldr f z (Token n) = z
-
-instance Traversable (Token TokenTraversable) where
-  traverse f (Token n) = (const (Token 33) <$> f (unsafeCoerce (Token n)))
-
 data Dependency ta a tb b = Dependency (Token ta a) (TypedRun a b) (Token tb b)
   deriving (Show)
 
@@ -88,8 +78,5 @@ convertImage = runIO ConvertImage
 saveFile = runIO SaveFile
 runPandoc = runIO RunPandoc
 
-makeTraversable :: Token TokenNotTraversable [a] -> Token TokenTraversable (Token TokenNotTraversable a)
-makeTraversable (Token n) = Token n
-
 mapListTaken :: (Show a, Show b) => ComputationM TokenNotTraversable b -> Token TokenNotTraversable [a] -> ComputationM TokenNotTraversable [b]
 mapListTaken f input = genDependency (Dependency input (InList f))