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_3
58 | | | | | | | | | ` def name_6
59 | | | | | | | | | ` <|>
60 | | | | | | | | | + <*>
61 | | | | | | | | | | + <*>
62 | | | | | | | | | | | + <*>
63 | | | | | | | | | | | | + pure ((.) (.))
64 | | | | | | | | | | | | ` ref name_7
65 | | | | | | | | | | | ` satisfy
66 | | | | | | | | | | ` rec name_6
67 | | | | | | | | | ` pure id
68 | | | | | | | | ` ref name_3
69 | | | | | | | ` rec name_5
80 | | | | | | + pure ((.) (.))
81 | | | | | | ` ref name_7