More point-free style