Types And Typeclasses

In some ways typeclasses and types are the Haskell implementation of the idea of &ldquo;It&rsquo;s turtles all the way down!&rdquo; I post this on my blog in the sure and certain knowledge that if I&rsquo;ve misunderstood something someone will quickly comment and set me straight! More&hellip;