I’ll just leave this one here, though it’s arguably a new feature. Better implicit resolution in pattern matches