From typing perspective there is no sense to have Container[T].join() -> str for any T.

I agree, but from convenience perspective there is a lot of sense. Java Streams is actually a good example of a "correct" design, but not very convenient.