Sort: module {
	PATH: con "/dis/lib/sort.dis";
	sort: fn[S, T](s: S, a: array of T)
		for{
		S =>
			gt: fn(s: self S, x, y: T): int;
		};
};