Point-free style example