that seems like something that would only really work with a type system that's as structural as TS (vs rust, which is very nominal)