Representing common recursion patterns as higher-order functions| Hackage
Mathematical-logic system based on functions| en.wikipedia.org
