[HCIdivision17]

Binary operations will do it, like in `True or foo()`, but there's no real lazy evaluation machinery for parameters to a function. (Yet? I bet someone's working on it... at least I haven't tried any packages like lazypy for it.)