<*> + <*> | + pure (\x0 -> (\x1 -> x0)) | ` <*> | + def name_1 | | ` <|> | | + <*> | | | + <*> | | | | + pure (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) | | | | ` <*> | | | | + pure cons | | | | ` <*> | | | | + <*> | | | | | + pure (\x0 -> (\x1 -> x0)) | | | | | ` pure 'r' | | | | ` satisfy | | | ` rec name_1 | | ` pure (\x0 -> x0) | ` pure Pure ` eof