Point-free style