Phantom types. Available from http://www.informatik.uni-bonn.de/~ralf/publications/Phantom.pdf (2003)

by James Cheney, Ralf Hinze