[qznc]

Side tracking: What is complex about implementing generics? It is either monomorphization or type erasure. It is not complex in the sense of "stuff entwined with other stuff".

[RobertKerans]

You've just listed two possible things the concept intertwined with, those in turn are interwined with other things.