This example is based on chapter six of Richard Bird's Introduction to Functional Programming using Haskell (2nd ed.) and section two of Erik Meijer's banana paper.

Please see the nat-algebra-haskell example for more information.