This is a great way to present the concepts. Something like this would have been useful some years back when I was trying to use the Haskell library for lens.