cleanup

1 files changed, 0 insertions, 21 deletions

diff --git a/events/src/Events/Types/NDT.hs b/events/src/Events/Types/NDT.hs
index 3f66953..f6d3000 100644
--- a/events/src/Events/Types/NDT.hs
+++ b/events/src/Events/Types/NDT.hs
@@ -31,10 +31,6 @@ data NDT m a where
   NDTBind :: NDT m a -> (a -> NDT m b) -> NDT m b
   NDTCons :: m (Maybe (a, NDT m a)) -> NDT m a
 
-instance Show (NDT Identity a) where
-  show (NDTBind x _) = "Bind (" ++ show x ++ ") _"
-  show x = show . (\(NDTCons x) -> x) $ fmap (const ()) x
-
 instance Functor m => Functor (NDT m) where
   fmap f (NDTBind a g) = NDTBind a (fmap f . g)
   fmap f (NDTCons x) = NDTCons $ fmap f' x
@@ -73,23 +69,6 @@ instance MonadReader r m => MonadReader r (NDT m) where
   local f (NDTCons x) = NDTCons (local f x)
   local f (NDTBind x g) = NDTBind (local f x) g
 
--- instance MonadFix m => MonadFix (NDT m) where
---   mfix f = NDTCons . runMaybeT $ do
---     x <- mfix (head . f)
---     return (x, trace "tail" . mfix $ tail . f)
---     where
---       head :: Monad m => NDT m a -> MaybeT m a
---       head (NDTCons x) = MaybeT . trace "head (cons)" $ fmap fst <$> x
---       head (NDTBind (NDTBind x g) f) = head $ NDTBind x (f <=< g)
---       head (NDTBind (NDTCons x) f) = MaybeT x >>= head . f . fst . trace "head (bind cons)"
---       tail :: Monad m => NDT m a -> NDT m a
---       tail (NDTCons x) = NDTBind (lift x) $ maybe empty snd . guardNothing
---       tail (NDTBind (NDTBind x g) f) = tail $ NDTBind x (f <=< g)
---       tail (NDTBind (NDTCons x) f) = tail . NDTCons $ fmap (\(_, xs) -> (undefined, NDTBind xs f)) <$> x
---       guardNothing :: Maybe a -> Maybe a
---       guardNothing x@(Just _) = x
---       guardNothing x@(Nothing) = trace "Nothing" x
-
 instance MonadIO m => MonadIO (NDT m) where
   liftIO = lift . liftIO