public static <A> RandomAccessCol<A> randomAccessCol(final List<A> as) {
		return new RandomAccessCol<A>() {
			public A get(int i) {
				return as.get(i);
			}

			public int size() {
				return as.size();
			}
		};
	}