@techreport{HJL02Typa,
  author = "Hinze, Ralf and Jeuring, Johan and L{\"o}h, Andres",
  institution = "Universiteit Utrecht",
  number = "UU-CS-2002-11",
  title = "Type-indexed data types",
  year = "2002",
}