@article{Hin02Pol,
  author = "Hinze, Ralf",
  journal = "Science of Computer Programming",
  pages = "129-159",
  title = "Polytypic values possess polykinded types",
  volume = "43",
  year = "2002",
}