Type check http://gsd.uwaterloo.ca:8888/question/985/quantify-over-integer.