This can usually be alleviated by structural types instead of nominal types.

You can always enforce nominal types if you really need it.