@article{Hin00Man,
  author = "Hinze, Ralf",
  journal = "Journal of Functional Programming, Special Issue on Algorithmic Aspects of Functional Programming Languages",
  month = "sep",
  number = "5",
  pages = "493--524",
  title = "Manufacturing Datatypes",
  volume = "11",
  year = "2001",
}