First-class phantom types (2003)

by J Cheney, R Hinze