A computation that conditionally falls back to a second transformation. This can be used to encode if conditions.
if