class IncompatibleTypeException extends Exception {
	IncompatibleTypeException(Object a, Object b) {
		super(
			"Can not compare "
				+ a.getClass().getName()
				+ " with "
				+ b.getClass().getName());
	};
};