@KenWebb Ken you raise a lot of points worth thinking about.

> In the first part of lecture 8, Bartosz presents a simple example based very loosely on vertebrate anatomy. It could be a good exercise to develop this example into a more complete Haskell program, while keeping an eye on the tie-in to Category Theory.

Very interesting! I hadn't gotten to lecture 8. Can you post any notes on this lecture, especially about this example, to a Lecture 8 discussion? We can all work together incrementally on posting such notes, even one note about the vertebrate anatomy would be a contribution. Thanks!