To decide which list of Ks is (L - list of values of kind K) without duplicates:
	let result be a list of Ks;
	repeat with X running through L:
		add X to result, if absent;
	decide on result.