@inproceedings{Hin99Pol,
  title = "Polytypic Functions Over Nested Datatypes (Extended Abstract)",
  author = "Hinze, Ralf",
  year = "1999",
  booktitle = "3rd Latin-American Conference on Functional Programming ({CLaPF'99})",
  editor = "Lins, Rafael Dueire",
  month = "mar",
}