title: Why were type classes difficult to implement?
body: <p>On slide 30/78 of <a href="http://www.slideshare.net/nushio/peyton-jones2011type-classes" rel="noreferrer">this</a> presentation, Simon suggests that implementation of type classes was a "despair" at the beginning.  Is anybody aware why that was?</p>