First-class phantom types (2003)

by James Cheney, Ralf Hinze