@TechReport{Elliott2009-type-class-morphisms-TR,
  author      = {Conal Elliott},
  title       = {Denotational design with type class morphisms (extended version)},
  institution = {LambdaPix},
  url         = {http://conal.net/papers/type-class-morphisms},
  month       = {March},
  number      = {2009-01},
  year        = 2009
}