execution. In Scheme parlance, functions on the unit type are called
*thunks* (which I've always assumed was a blend of "think" and "chunk").
-Towards Monads
---------------
+Dividing by zero: Towards Monads
+--------------------------------
So the integer division operation presupposes that its second argument
(the divisor) is not zero, upon pain of presupposition failure.