> Do other people also learn best by examples? In the first part of lecture 8, Bartosz presents a simple example based very loosely on vertebrate anatomy.

I do (and I guess many people do as well). What I do for these classes is trying to implement the presented concepts in Haskell and coming up with some different examples of applications. For example, I have used F-Algebra for different things such as a random expression tree generator, N-Queens solver, etc.

Maybe we could set up a shared Github repo where we could share our codes corresponding to each lecture. Bring concrete example to the abstract concepts :)