<*>
+ <*>
-| + <*>
-| | + <*>
-| | | + pure ((.) ((.) (const id)) . ((.) (const id) . flip ($)))
-| | | ` def name_4
-| | | ` pure ()
-| | ` def name_6
-| | ` <|>
-| | + <*>
-| | | + <*>
-| | | | + <*>
-| | | | | + pure ((.) (.))
-| | | | | ` def name_7
-| | | | | ` pure (flip const)
-| | | | ` satisfy
-| | | ` rec name_6
-| | ` pure id
-| ` ref name_4
-` def name_2
+| + pure (\u1 -> (\u2 -> u2))
+| ` def name_1
+| ` <*>
+| + pure (\u1 -> Term)
+| ` def name_2
+| ` <|>
+| + <*>
+| | + <*>
+| | | + pure (\u1 -> (\u2 -> (\u3 -> u2 u3)))
+| | | ` satisfy
+| | ` rec name_2
+| ` pure (\u1 -> u1)
+` def name_4
` <*>
- + pure ((flip ($)) Haskell)
+ + pure (\u1 -> u1 Term)
` def name_3
` <|>
+ <*>
| + <*>
| | + <*>
- | | | + <*>
- | | | | + conditional
- | | | | | + bs
- | | | | | | + <*>
- | | | | | | | + pure ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Haskell)))))))
- | | | | | | | ` satisfy
- | | | | | | + <*>
- | | | | | | | + pure ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Haskell)))))))
- | | | | | | | ` satisfy
- | | | | | | + <*>
- | | | | | | | + pure ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Haskell)))))))
- | | | | | | | ` satisfy
- | | | | | | + <*>
- | | | | | | | + pure ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Haskell)))))))
- | | | | | | | ` satisfy
- | | | | | | + <*>
- | | | | | | | + pure ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Haskell)))))))
- | | | | | | | ` satisfy
- | | | | | | + <*>
- | | | | | | | + pure ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Haskell)))))))
- | | | | | | | ` satisfy
- | | | | | | ` <*>
- | | | | | | + <*>
- | | | | | | | + <*>
- | | | | | | | | + <*>
- | | | | | | | | | + <*>
- | | | | | | | | | | + <*>
- | | | | | | | | | | | + pure ((.) ((.) ((.) ((.) ((.) ((.) ((.) ((.) (.)))))))) . ((.) ((.) ((.) ((.) ((.) ((.) ((.) ((.) cons))))))) . ((.) ((.) ((.) ((.) ((.) ((flip ($)) ((.) (const id) . flip ($))))))) . ((.) ((.) ((.) ((.) ((.) (.))))) . ((.) ((.) ((.) ((.) ((.) (.))))) . ((.) ((.) ((.) ((.) ((.) (.))))) . ((.) ((.) ((.) ((.) ((.) const)))) . ((.) ((.) ((.) ((.) ((flip ($)) (const Haskell))))) . ((.) ((.) ((.) ((.) (.)))) . ((.) ((.) ((.) ((.) const))) . ((.) ((.) ((.) ((flip ($)) Haskell))) . ((.) ((.) ((.) (.))) . ((.) ((.) ((.) (const id))) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . const)))))))))))))))))
- | | | | | | | | | | | ` satisfy
- | | | | | | | | | | ` ref name_4
- | | | | | | | | | ` def name_1
- | | | | | | | | | ` <|>
- | | | | | | | | | + <*>
- | | | | | | | | | | + <*>
- | | | | | | | | | | | + <*>
- | | | | | | | | | | | | + pure ((.) (.))
- | | | | | | | | | | | | ` ref name_7
- | | | | | | | | | | | ` satisfy
- | | | | | | | | | | ` rec name_1
- | | | | | | | | | ` pure id
- | | | | | | | | ` ref name_4
- | | | | | | | ` rec name_2
- | | | | | | ` satisfy
- | | | | | + look
- | | | | | | ` satisfy
- | | | | | ` empty
- | | | | ` ref name_4
- | | | ` def name_5
- | | | ` <|>
- | | | + <*>
- | | | | + <*>
- | | | | | + <*>
- | | | | | | + pure ((.) (.))
- | | | | | | ` ref name_7
- | | | | | ` satisfy
- | | | | ` rec name_5
- | | | ` pure id
- | | ` ref name_4
+ | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (u1 u2) (u3 u4)))))
+ | | | ` conditional
+ | | | + look
+ | | | | ` satisfy
+ | | | + bs
+ | | | | + <*>
+ | | | | | + pure (\u1 -> (\u2 -> cons Term))
+ | | | | | ` satisfy
+ | | | | + <*>
+ | | | | | + pure (\u1 -> (\u2 -> cons Term))
+ | | | | | ` satisfy
+ | | | | + <*>
+ | | | | | + pure (\u1 -> (\u2 -> cons Term))
+ | | | | | ` satisfy
+ | | | | + <*>
+ | | | | | + pure (\u1 -> (\u2 -> cons Term))
+ | | | | | ` satisfy
+ | | | | + <*>
+ | | | | | + pure (\u1 -> (\u2 -> cons Term))
+ | | | | | ` satisfy
+ | | | | + <*>
+ | | | | | + pure (\u1 -> (\u2 -> cons Term))
+ | | | | | ` satisfy
+ | | | | ` <*>
+ | | | | + <*>
+ | | | | | + <*>
+ | | | | | | + <*>
+ | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> cons (Term u3))))))
+ | | | | | | | ` satisfy
+ | | | | | | ` ref name_1
+ | | | | | ` rec name_4
+ | | | | ` satisfy
+ | | | ` empty
+ | | ` ref name_1
| ` rec name_3
- ` pure id
+ ` pure (\u1 -> u1)