Ralf Hinze Polytypic Values Possess Polykinded Types. 2-27 2000 conf/mpc/2000 MPC db/conf/mpc/mpc2000.html#Hinze00