What is the difference in terms of type inference between the function types below? Why can the Typescript compiler infer O[K] when O is a function
O[K]
O
