But you now have more complexity and no extra safety.
If you create wrappers that provide additional type information, you do get extra safety and nicer interfaces to work with.
You have extra safety in new code.
If you create wrappers that provide additional type information, you do get extra safety and nicer interfaces to work with.