Seems like patching earlier language architecture mistake. If you create custom types, you should not use duck typing on them. You should use typecasting, so th

Seems like patching earlier language architecture mistake. If you create custom types, you should not use duck typing on them. You should use typecasting, so the programmer would write something like `result = processEntityA(A(B))`