Typescript: Inference of generic argument type that is parametrized with another type

Question

Consider the following code:

type A = string

interface Funcs
{
  connect : (a : MyA) => any
}