First-class phantom types. At http://www.informatik.uni-bonn.de/~ralf/ publications/Phantom.pdf (0)

by J Cheney, R Hinze