You seem to be talking about nominal types being a problem. Structural subtyping...

		wtetzner on May 12, 2018 \| parent \| context \| favorite \| on: Leveraging the type system to avoid mistakes You seem to be talking about nominal types being a problem. Structural subtyping and row types are two ways of getting the benefits you're talking about while still being statically typed.