<*> + <*> | + <*> | | + <*> | | | + pure ((.) ((.) (const id)) . ((.) (const id) . flip ($))) | | | ` def name_3 | | | ` pure () | | ` def name_2 | | ` <|> | | + <*> | | | + <*> | | | | + <*> | | | | | + pure ((.) (.)) | | | | | ` def name_7 | | | | | ` pure (flip const) | | | | ` satisfy | | | ` rec name_2 | | ` pure id | ` ref name_3 ` def name_5 ` <*> + pure ((flip ($)) Pure) ` def name_4 ` <|> + <*> | + <*> | | + <*> | | | + <*> | | | | + conditional | | | | | + bs | | | | | | + <*> | | | | | | | + pure ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Pure))))))) | | | | | | | ` satisfy | | | | | | + <*> | | | | | | | + pure ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Pure))))))) | | | | | | | ` satisfy | | | | | | + <*> | | | | | | | + pure ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Pure))))))) | | | | | | | ` satisfy | | | | | | + <*> | | | | | | | + pure ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Pure))))))) | | | | | | | ` satisfy | | | | | | + <*> | | | | | | | + pure ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Pure))))))) | | | | | | | ` satisfy | | | | | | + <*> | | | | | | | + pure ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Pure))))))) | | | | | | | ` satisfy | | | | | | ` <*> | | | | | | + <*> | | | | | | | + <*> | | | | | | | | + <*> | | | | | | | | | + <*> | | | | | | | | | | + <*> | | | | | | | | | | | + pure ((.) ((.) ((.) ((.) ((.) ((.) ((.) ((.) (.)))))))) . ((.) ((.) ((.) ((.) ((.) ((.) ((.) ((.) cons))))))) . ((.) ((.) ((.) ((.) ((.) ((flip ($)) ((.) (const id) . flip ($))))))) . ((.) ((.) ((.) ((.) ((.) (.))))) . ((.) ((.) ((.) ((.) ((.) (.))))) . ((.) ((.) ((.) ((.) ((.) (.))))) . ((.) ((.) ((.) ((.) ((.) const)))) . ((.) ((.) ((.) ((.) ((flip ($)) (const ']'))))) . ((.) ((.) ((.) ((.) (.)))) . ((.) ((.) ((.) ((.) const))) . ((.) ((.) ((.) ((flip ($)) Pure))) . ((.) ((.) ((.) (.))) . ((.) ((.) ((.) (const id))) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . const))))))))))))))))) | | | | | | | | | | | ` satisfy | | | | | | | | | | ` ref name_3 | | | | | | | | | ` def name_6 | | | | | | | | | ` <|> | | | | | | | | | + <*> | | | | | | | | | | + <*> | | | | | | | | | | | + <*> | | | | | | | | | | | | + pure ((.) (.)) | | | | | | | | | | | | ` ref name_7 | | | | | | | | | | | ` satisfy | | | | | | | | | | ` rec name_6 | | | | | | | | | ` pure id | | | | | | | | ` ref name_3 | | | | | | | ` rec name_5 | | | | | | ` satisfy | | | | | + look | | | | | | ` satisfy | | | | | ` empty | | | | ` ref name_3 | | | ` def name_1 | | | ` <|> | | | + <*> | | | | + <*> | | | | | + <*> | | | | | | + pure ((.) (.)) | | | | | | ` ref name_7 | | | | | ` satisfy | | | | ` rec name_1 | | | ` pure id | | ` ref name_3 | ` rec name_4 ` pure id