[pavlov]

The shape example reminds me of how traditional raytracing renderers work: the entire scene is a function whose input is [x,y] view space coordinates and output is [r,g,b] color. To produce an image, you call the function for each pixel and store the results.

Could be an interesting tutorial to see a raytracer explained in terms of monoids.