
4 Oct
2007
4 Oct
'07
7:26 a.m.
Did you look at Ralf Hinze's paper Fun with Phantom Types? Dominic.