better imo because we control type resolution with `TypeConstraint`s which is a great idea and like why i love dynamic languages