Any procedure that does not follow applicative order evaluation in Scheme