@inproceedings{generichaskelltheory,
  author    = {Hinze, Ralf and Jeuring, Johan},
  title     = {Generic {H}askell: practice and theory},
  booktitle = {Generic Programming, Advanced Lectures},
  series    = {LNCS},
  volume    = {2793},
  publisher = {Springer-{V}erlag},
  year      = 2003,
  pages     = {1--56},
}