@article{Hin02Pol,
  title = "Polytypic values possess polykinded types",
  author = "Hinze, Ralf",
  year = "2002",
  journal = "Science of Computer Programming",
  month = "May-June",
  number = "2-3",
  pages = "129-159",
  volume = "43",
  doi = "10.1016/S0167-6423(02)00025-4",
}