Denotational Design with Type Class Morphisms (2009) [pdf] | Hacker News Reader