Имеют некоторый тип T и абстрактный класс X[T], и каков главный смысл, для каждого конкретного типа...