Creating type that yields type A if indexed with integer, and type B if indexed with string

[Frityet]

Something like

type MyType = { integer: A, string: B }

local my_tbl: MyType = {
    [1] = make_a(),
    key = make_b()
}

It would be really nice and useful