delete deadcode and further cleanup

Author: jdegoes

README.md

@@ -7,10 +7,7 @@
     data ListT f a where
       ListT :: f (Step a (ListT f a)) -> ListT f a
 
-    data Step a s where
-      Yield :: a -> Lazy s -> Step a s
-      Skip :: Lazy s -> Step a s
-      Done :: Step a s
+    data Step a s
 
 
 ### Type Class Instances

src/Control/Monad/ListT.purs

@@ -1,6 +1,6 @@
 module Control.Monad.ListT
   ( ListT(..) -- FIXME: compiler bug: error in exports (wrong kind) unless constructor is exported
-  , Step(..) -- FIXME: have to export this for the preceding export
+  , Step() -- FIXME: have to export this for the preceding export
   , nil
   , cons'
   , prepend'
@@ -35,8 +35,6 @@ module Control.Monad.ListT
   import Data.Tuple
   import qualified Data.Array as A
 
-  type LazyF f a = Lazy (f a)
-
   data ListT f a = ListT (f (Step a (ListT f a)))
 
   data Step a s =