title: Redoing the standard classes
body: <p>As evidenced by the Typeclassopedia, the current stack of classes imported from category theory is a bit of a tangled accident of history, rather than a beautiful coherent whole.</p>
  
  <p>In particular, this makes it rather difficult to follow what's happening.</p>
  
  <p>What <em>should</em> this stuff look like, if petty concerns like backwards compatibility, code duplication or tractably short type signatures were not an issue?</p>