Polytypic values possess polykinded types (0)

by Ralf Hinze
Venue:Science of Computer Programming