function a<T as string|int, +U>(

    Closure<(T), U>|dict<T, U>|vec<U>|(Foo<T, U>&Bar<vec<U>>) $x,

): dict<Tk, Tv> {}