this is really quite interesting to read through after nearly going catatonic thinking about catamorphisms in the Tiger language.