Church provides top-level constant Procs to do various and sundry kinds of functional programming.