See Cardelli's breakdown in his famous article "Typeful programming": http://www.lucacardelli.name/Papers/TypefulProg.pdf http://www.lucacardelli.name/Papers/T

See Cardelli's breakdown in his famous article "Typeful programming": http://www.lucacardelli.name/Papers/TypefulProg.pdf http://www.lucacardelli.name/Papers/TypefulProg.pdf Page 52 perhaps.