Yep! It's leveraging pattern-matching and guards as well as looking at code itself for inference.