More tidy synopses, and new generative recursion

- Further correction and reconcialation with new overview
  of the existing synopses.  Restored some "Tree" examples.

- New section on generative recursion via Church encoding
  of lists.
25 jobs for master
Status Job ID Name Coverage
  Tool Lint
canceled #546011
lint
lint-linters

canceled #546014
lint allowed to fail
lint-submods

canceled #546015
lint
lint-submods-branch

canceled #546012
lint
lint-testsuite

canceled #546013
lint
typecheck-testsuite

 
  Quick Build
canceled #546016
x86_64-linux
hadrian-ghc-in-ghci

 
  Lint
canceled #546017
lint
lint-base

 
  Build
canceled #546018
x86_64-linux
stack-hadrian-build

canceled #546019
x86_64-linux
validate-x86_64-linux-deb9-hadrian

 
  Full Build
canceled #546022
aarch64-linux allowed to fail
validate-aarch64-linux-deb10

canceled #546023
armv7-linux allowed to fail
validate-armv7-linux-deb10

canceled #546024
x86_64-linux
validate-i386-linux-deb9

canceled #546021
x86_64-darwin
validate-x86_64-darwin

canceled #546025
x86_64-linux
validate-x86_64-linux-deb9-debug

canceled #546028
x86_64-linux
validate-x86_64-linux-deb9-dwarf

canceled #546026
x86_64-linux
validate-x86_64-linux-deb9-integer-simple

canceled #546027
x86_64-linux allowed to fail manual
validate-x86_64-linux-deb9-tsan

canceled #546020
x86_64-linux
validate-x86_64-linux-deb9-unreg-hadrian

canceled #546029
x86_64-linux
validate-x86_64-linux-fedora27

canceled #546030
new-x86_64-windows test
validate-x86_64-windows-hadrian

 
  Packaging
canceled #546031
x86_64-linux
doc-tarball

 
  Testing
canceled #546032
x86_64-linux allowed to fail manual
hackage

canceled #546034
x86_64-linux-perf
perf

canceled #546033
x86_64-linux
perf-nofib

 
  Deploy
canceled #546035
x86_64-linux allowed to fail
pages