• Denotational design with type class morphisms http://conal.net/papers/type-class-morphisms/ 12 comments 19/2/2009 Functional , Semantics