@incollection{Hin03Fun,
  title = "Fun with phantom types",
  author = "Hinze, Ralf",
  year = "2003",
  booktitle = "The Fun of Programming",
  editor = "Gibbons, Jeremy and {de Moor}, Oege",
  isbn = "ISBN 9781403907721 hardback, ISBN 9780333992852 paperback",
  note = "ISBN 1-4039-0772-2 hardback, ISBN 0-333-99285-7 paperback",
  pages = "245-262",
  publisher = "Palgrave Macmillan",
  series = "Cornerstones of Computing",
}