5 | | | + pure ((.) ((.) (const id)) . ((.) (const id) . flip ($)))
 
  13 | |     | | | + pure ((.) (.))
 
  14 | |     | | | ` def name_7
 
  15 | |     | | |   ` pure (flip const)
 
  22     + pure ((flip ($)) Haskell)
 
  32         | | | | | | | + pure ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Haskell)))))))
 
  33         | | | | | | | ` satisfy
 
  35         | | | | | | | + pure ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Haskell)))))))
 
  36         | | | | | | | ` satisfy
 
  38         | | | | | | | + pure ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Haskell)))))))
 
  39         | | | | | | | ` satisfy
 
  41         | | | | | | | + pure ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Haskell)))))))
 
  42         | | | | | | | ` satisfy
 
  44         | | | | | | | + pure ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Haskell)))))))
 
  45         | | | | | | | ` satisfy
 
  47         | | | | | | | + pure ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Haskell)))))))
 
  48         | | | | | | | ` satisfy
 
  53         | | | | | |   | | | + <*>
 
  54         | | | | | |   | | | | + <*>
 
  55         | | | | | |   | | | | | + pure ((.) ((.) ((.) ((.) ((.) ((.) ((.) ((.) (.)))))))) . ((.) ((.) ((.) ((.) ((.) ((.) ((.) ((.) cons))))))) . ((.) ((.) ((.) ((.) ((.) ((flip ($)) ((.) (const id) . flip ($))))))) . ((.) ((.) ((.) ((.) ((.) (.))))) . ((.) ((.) ((.) ((.) ((.) (.))))) . ((.) ((.) ((.) ((.) ((.) (.))))) . ((.) ((.) ((.) ((.) ((.) const)))) . ((.) ((.) ((.) ((.) ((flip ($)) (const Haskell))))) . ((.) ((.) ((.) ((.) (.)))) . ((.) ((.) ((.) ((.) const))) . ((.) ((.) ((.) ((flip ($)) Haskell))) . ((.) ((.) ((.) (.))) . ((.) ((.) ((.) (const id))) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . const)))))))))))))))))
 
  56         | | | | | |   | | | | | ` satisfy
 
  57         | | | | | |   | | | | ` ref name_4
 
  58         | | | | | |   | | | ` def name_1
 
  59         | | | | | |   | | |   ` <|>
 
  60         | | | | | |   | | |     + <*>
 
  61         | | | | | |   | | |     | + <*>
 
  62         | | | | | |   | | |     | | + <*>
 
  63         | | | | | |   | | |     | | | + pure ((.) (.))
 
  64         | | | | | |   | | |     | | | ` ref name_7
 
  65         | | | | | |   | | |     | | ` satisfy
 
  66         | | | | | |   | | |     | ` rec name_1
 
  67         | | | | | |   | | |     ` pure id
 
  68         | | | | | |   | | ` ref name_4
 
  69         | | | | | |   | ` rec name_2
 
  80         | | |     | | | + pure ((.) (.))
 
  81         | | |     | | | ` ref name_7