More point-free notation