Another point-free exercise