While a function like g is somewhat silly, since y is just not used, functions with pattern
matching or guards will very often use particular arguments only in certain
circumstances. If some arguments have certain properties, those or other arguments
might not be necessary for a given computation.