hinze-2002-polytypic:
  type: article
  title: Polytypic values possess polykinded types
  author: Hinze, Ralf
  date: 2002-05
  page-range: 129-159
  url: http://dx.doi.org/10.1016/s0167-6423(02)00025-4
  serial-number:
    doi: 10.1016/s0167-6423(02)00025-4
    issn: 0167-6423
  parent:
    type: periodical
    title: Science of Computer Programming
    publisher: Elsevier BV
    issue: 2–3
    volume: 43