Explicit quantification (0)

by Simon Peyton Jones