test/Golden/Grammar/brainfuck.opt.dump

   1 <*>
   2 + <*>
   3 | + <*>
   4 | | + <*>
   5 | | | + pure ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))) ((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0 x1))))
   6 | | | ` def name_3
   7 | | |   ` pure ()
   8 | | ` def name_5
   9 | |   ` <|>
  10 | |     + <*>
  11 | |     | + <*>
  12 | |     | | + <*>
  13 | |     | | | + pure (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))
  14 | |     | | | ` def name_6
  15 | |     | | |   ` pure (\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0))
  16 | |     | | ` satisfy
  17 | |     | ` rec name_5
  18 | |     ` pure (\x0 -> x0)
  19 | ` ref name_3
  20 ` def name_1
  21   ` <*>
  22     + pure (flip (\x0 -> (\x1 -> x0 x1))) Pure
  23     ` def name_2
  24       ` <|>
  25         + <*>
  26         | + <*>
  27         | | + <*>
  28         | | | + <*>
  29         | | | | + conditional
  30         | | | | | + bs
  31         | | | | | | + <*>
  32         | | | | | | | + pure ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) cons)))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))) ((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0 x1)))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> x0))) ((\x0 -> (\x1 -> x0)) Pure)))))))
  33         | | | | | | | ` satisfy
  34         | | | | | | + <*>
  35         | | | | | | | + pure ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) cons)))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))) ((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0 x1)))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> x0))) ((\x0 -> (\x1 -> x0)) Pure)))))))
  36         | | | | | | | ` satisfy
  37         | | | | | | + <*>
  38         | | | | | | | + pure ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) cons)))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))) ((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0 x1)))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> x0))) ((\x0 -> (\x1 -> x0)) Pure)))))))
  39         | | | | | | | ` satisfy
  40         | | | | | | + <*>
  41         | | | | | | | + pure ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) cons)))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))) ((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0 x1)))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> x0))) ((\x0 -> (\x1 -> x0)) Pure)))))))
  42         | | | | | | | ` satisfy
  43         | | | | | | + <*>
  44         | | | | | | | + pure ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) cons)))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))) ((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0 x1)))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> x0))) ((\x0 -> (\x1 -> x0)) Pure)))))))
  45         | | | | | | | ` satisfy
  46         | | | | | | + <*>
  47         | | | | | | | + pure ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) cons)))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))) ((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0 x1)))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> x0))) ((\x0 -> (\x1 -> x0)) Pure)))))))
  48         | | | | | | | ` satisfy
  49         | | | | | | ` <*>
  50         | | | | | |   + <*>
  51         | | | | | |   | + <*>
  52         | | | | | |   | | + <*>
  53         | | | | | |   | | | + <*>
  54         | | | | | |   | | | | + <*>
  55         | | | | | |   | | | | | + pure ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))))))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) cons))))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))) ((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0 x1))))))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> x0)))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) ((\x0 -> (\x1 -> x0)) ']'))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> x0))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) Pure))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))) ((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0 x1)))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (\x0 -> (\x1 -> x0))))))))))))))))))
  56         | | | | | |   | | | | | ` satisfy
  57         | | | | | |   | | | | ` ref name_3
  58         | | | | | |   | | | ` def name_7
  59         | | | | | |   | | |   ` <|>
  60         | | | | | |   | | |     + <*>
  61         | | | | | |   | | |     | + <*>
  62         | | | | | |   | | |     | | + <*>
  63         | | | | | |   | | |     | | | + pure (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))
  64         | | | | | |   | | |     | | | ` ref name_6
  65         | | | | | |   | | |     | | ` satisfy
  66         | | | | | |   | | |     | ` rec name_7
  67         | | | | | |   | | |     ` pure (\x0 -> x0)
  68         | | | | | |   | | ` ref name_3
  69         | | | | | |   | ` rec name_1
  70         | | | | | |   ` satisfy
  71         | | | | | + look
  72         | | | | | | ` satisfy
  73         | | | | | ` empty
  74         | | | | ` ref name_3
  75         | | | ` def name_4
  76         | | |   ` <|>
  77         | | |     + <*>
  78         | | |     | + <*>
  79         | | |     | | + <*>
  80         | | |     | | | + pure (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))
  81         | | |     | | | ` ref name_6
  82         | | |     | | ` satisfy
  83         | | |     | ` rec name_4
  84         | | |     ` pure (\x0 -> x0)
  85         | | ` ref name_3
  86         | ` rec name_2
  87         ` pure (\x0 -> x0)