\p.\xs. (xs˙)'p⩪xs