Intuitive synthesis of incidental detail using higher-order functions.