Who Cites col?
col	Def Collection(T) == TProp
	Thm* T:Type{i'}. Collection{i}(T) Type{i'}
subtype	Def S T == x:S. x T

About: