For this to successfully typecheck, we need to ensure that we do not bail out too early in considering options.