Interesting. It looks like a variant or an object whose type list is only known at runtime. What I have in mind is a language able to convert functions calls f

Interesting. It looks like a variant or an object whose type list is only known at runtime. What I have in mind is a language able to convert functions calls from dynamic to static (and the opposite). If the compiler can infer the type, the call is static else dynamic (with multidispatch for function overload).