<*> + <*> | + <*> | | + pure (\x0 -> (\x1 -> x0)) | | ` pure (\x0 -> x0) | ` <*> | + <*> | | + <*> | | | + pure (\x0 -> (\x1 -> x0)) | | | ` pure (\x0 -> x0) | | ` <*> | | + <*> | | | + pure (\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0 x1)) | | | ` def name_6 | | | ` pure () | | ` def name_8 | | ` <|> | | + <*> | | | + <*> | | | | + pure (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) | | | | ` <*> | | | | + def name_1 | | | | | ` <*> | | | | | + pure (\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) | | | | | ` pure (\x0 -> (\x1 -> x0)) | | | | ` def name_3 | | | | ` satisfy | | | ` rec name_8 | | ` pure (\x0 -> x0) | ` ref name_6 ` def name_4 ` <*> + def name_5 | ` <|> | + <*> | | + <*> | | | + pure (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) | | | ` <*> | | | + pure cons | | | ` <*> | | | + <*> | | | | + pure (\x0 -> (\x1 -> x0)) | | | | ` conditional | | | | + bs | | | | | + <*> | | | | | | + <*> | | | | | | | + pure (\x0 -> (\x1 -> x0)) | | | | | | | ` pure Pure | | | | | | ` ref name_3 | | | | | + <*> | | | | | | + <*> | | | | | | | + pure (\x0 -> (\x1 -> x0)) | | | | | | | ` pure Pure | | | | | | ` ref name_3 | | | | | + <*> | | | | | | + <*> | | | | | | | + pure (\x0 -> (\x1 -> x0)) | | | | | | | ` pure Pure | | | | | | ` ref name_3 | | | | | + <*> | | | | | | + <*> | | | | | | | + pure (\x0 -> (\x1 -> x0)) | | | | | | | ` pure Pure | | | | | | ` ref name_3 | | | | | + <*> | | | | | | + <*> | | | | | | | + pure (\x0 -> (\x1 -> x0)) | | | | | | | ` pure Pure | | | | | | ` ref name_3 | | | | | + <*> | | | | | | + <*> | | | | | | | + pure (\x0 -> (\x1 -> x0)) | | | | | | | ` pure Pure | | | | | | ` ref name_3 | | | | | ` <*> | | | | | + <*> | | | | | | + pure (\x0 -> (\x1 -> x0)) | | | | | | ` <*> | | | | | | + <*> | | | | | | | + <*> | | | | | | | | + pure (\x0 -> (\x1 -> x0)) | | | | | | | | ` pure (\x0 -> x0) | | | | | | | ` <*> | | | | | | | + <*> | | | | | | | | + pure (\x0 -> (\x1 -> x0)) | | | | | | | | ` ref name_3 | | | | | | | ` <*> | | | | | | | + <*> | | | | | | | | + <*> | | | | | | | | | + pure (\x0 -> (\x1 -> x0)) | | | | | | | | | ` pure (\x0 -> x0) | | | | | | | | ` <*> | | | | | | | | + <*> | | | | | | | | | + pure (\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0 x1)) | | | | | | | | | ` ref name_6 | | | | | | | | ` def name_7 | | | | | | | | ` <|> | | | | | | | | + <*> | | | | | | | | | + <*> | | | | | | | | | | + pure (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) | | | | | | | | | | ` <*> | | | | | | | | | | + ref name_1 | | | | | | | | | | ` ref name_3 | | | | | | | | | ` rec name_7 | | | | | | | | ` pure (\x0 -> x0) | | | | | | | ` ref name_6 | | | | | | ` <*> | | | | | | + pure Pure | | | | | | ` rec name_4 | | | | | ` <*> | | | | | + <*> | | | | | | + pure (\x0 -> (\x1 -> x0)) | | | | | | ` pure ']' | | | | | ` ref name_3 | | | | + look | | | | | ` ref name_3 | | | | ` empty | | | ` <*> | | | + <*> | | | | + <*> | | | | | + pure (\x0 -> (\x1 -> x0)) | | | | | ` pure (\x0 -> x0) | | | | ` <*> | | | | + <*> | | | | | + pure (\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0 x1)) | | | | | ` ref name_6 | | | | ` def name_2 | | | | ` <|> | | | | + <*> | | | | | + <*> | | | | | | + pure (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) | | | | | | ` <*> | | | | | | + ref name_1 | | | | | | ` ref name_3 | | | | | ` rec name_2 | | | | ` pure (\x0 -> x0) | | | ` ref name_6 | | ` rec name_5 | ` pure (\x0 -> x0) ` pure Pure