@friend Ooh, that's a brilliant example! More fine grained types definitely allows you to offer a smaller, more relevant set of possibilities in completion.