@techreport{ChH03Pha,
  author = "Cheney, James and Hinze, Ralf",
  institution = "Cornell University",
  title = "First-Class Phantom Types",
  year = "2003",
}