3 ms·

The only problem is that it can't distinguish between nested if/else blocks at the type level, but it's probably fine