It is many years since Landin, Burge and others showed us how to apply higher order techniques and thus laid some foundations for modern functional programming.  Meer