From 3c49404bda9d37d2adfe181b8ccf92e413b209e6 Mon Sep 17 00:00:00 2001 From: Konstantin Zudov Date: Mon, 16 Nov 2015 07:59:39 +0200 Subject: [PATCH] Remove type signatures with undefined variables --- src/Data/FingerTree.purs | 3 --- 1 file changed, 3 deletions(-) diff --git a/src/Data/FingerTree.purs b/src/Data/FingerTree.purs index 7690cdc..ac958cf 100644 --- 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