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