Polytypic values possess polykinded types (Institut für Informatik III‚ Universität Bonn, 1999)

(untitled) - Hinze, R