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