// if it still didn't match then the argument is maybe of union type and
matches 1 of the methods at runtime (but not a specific one at design
time). just make 1 method of the matched methods.

skip for now the constructors