My attempt at summarising what I have learnt from this paper by Connor Hoekstra.
Playing with combinators