@@ -45,7 +45,7 @@ drawForest' level forest = tailRec goForest { level: level, drawn: "", current:
4545 goForest
4646 :: { current :: Forest String, drawn :: String, level :: Int }
4747 -> Step { current :: Forest String, drawn :: String, level :: Int } String
48− goForest { level: l, drawn: s, current: Nil } = Done s
48+ goForest { drawn: s, current: Nil } = Done s
4949 goForest { level: l, drawn: s, current: c : cs } = do
5050 let
5151 drawnTree = drawTree' l c
@@ -70,7 +70,7 @@ scanTree f b n = do
7070 fb :< (tailRec go { b: fb, current: (tail n), final: Nil })
7171 where
7272 go :: { final :: Forest b, current :: Forest a, b :: b } -> Step { final :: Forest b, current :: Forest a, b :: b } (Forest b)
73− go { b: b', current: Nil, final: final } = Done final
73+ go { current: Nil, final: final } = Done final
7474 go { b: b', current: c : cs, final: final } = do
7575 let
7676 fb' = f (head c) b'
@@ -85,7 +85,7 @@ scanTreeAccum f b n = do
8585 fb.value :< (tailRec go { b: fb.accum, current: (tail n), final: Nil })
8686 where
8787 go :: { final :: Forest c, current :: Forest a, b :: b } -> Step { final :: Forest c, current :: Forest a, b :: b } (Forest c)
88− go { b: b', current: Nil, final: final } = Done final
88+ go { current: Nil, final: final } = Done final
8989 go { b: b', current: c : cs, final: final } = do
9090 let
9191 fb' = f (head c) b'