<*> + <*> | + pure (\u1 -> (\u2 -> u1 Term)) | ` def name_635 | ` <|> | + <*> | | + <*> | | | + pure (\u1 -> (\u2 -> (\u3 -> u1 : u2 u3))) | | | ` satisfy | | ` rec name_635 | ` pure (\u1 -> u1) ` eof