Quantified Laziness

by Alec Lomas