Comment by pjmlp

Because they are a workaround for what should be a language feature in first place, just like on ML languages to type check structural types.