point-free rendering