That's actually how I did it at first, but then I realized that it was silly because you always run the first quoted function right off anyway so it's cleaner to just require a Boolean value.

(There's a way using Category Theory to firm up that assertion into proper math, but I'm not good enough at CT to do that.)

:D