Autocomplete when typing lens

[michaelKurowski]

I know that this solution is already based on a likely tricky implementation of free types, but is it possible to have autocomplete when typing lens directly inside a focusing generic i.e. Get?

Get<
  ['have', 'autocomplete', 'here', 'since', 'we', 'know', 'the', 'target', 'type'],
  MyType
>

That is if MyType already has MyType['have']['autocomplete']['here']... it could be autocompleted when using needle in the Get generic.