@article{HJL03Typ,
  title = "Type-indexed data types",
  author = "Hinze, Ralf and Jeuring, Johan and L{\"o}h, Andres",
  year = "2004",
  journal = "Science of Computer Programming",
  month = "may",
  number = "1-2",
  pages = "117-151",
  volume = "51",
  doi = "10.1016/j.scico.2003.07.001",
}