Merge pull request #18 from zudov/erroring-type-sig

Remove type signatures with undefined variables
hdgarrood · Nov 16, 2015 · 508f212 · 508f212
2 parents e3c3707 + 3c49404
commit 508f212
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/src/Data/FingerTree.purs b/src/Data/FingerTree.purs
@@ -218,10 +218,7 @@ instance traversableFingerTree :: Traversable (FingerTree v) where
            <*> (defer <$> kl)
            <*> traverse f sf
     where
-    l :: m (FingerTree v (Node v a))
     l = traverse (traverse f) (force m)
-
-    kl :: m (Unit -> FingerTree v (Node v a))
     kl = const <$> l
 
   sequence = traverse id