What people think of generic package instead of fine grained generics? https://docs.google.com/document/d/1vrAy9gMpMoS3uaVphB32uVXX4pi-HnNjkMEgyAHX4N4/edit#head

What people think of generic package instead of fine grained generics? https://docs.google.com/document/d/1vrAy9gMpMoS3uaVphB32uVXX4pi-HnNjkMEgyAHX4N4/edit#heading=h.wko1dvdznk4y https://docs.google.com/document/d/1vrAy9gMpMoS3uaVphB32uVXX... I think they would really fit the language well. The good part is: * Only the package and import statement change, the rest of your code stay the same and is not cluttered * They are easier to reason about as it is more coarse grained * They do not break the compatibility The the bad part is: * You cannot implement filter/map/reduce (but being able to implement them would conflict with the orthogonality of the language) * It could lead to code bloat, but not more than manually copy pasting the code.