Contract statement is incorrect in Either.isRight(predicate: ...)

[Zordid]

In the new isRight(predicate: ...) fun of type Either, the assumptions stated in the contract is not accurate.

False does not correctly imply the element is of type Left<A>, because it could just be a Right<A> with not matching predicate...

arrow/arrow-libs/core/arrow-core/src/commonMain/kotlin/arrow/core/Either.kt

Lines 864 to 871 in b3ef809

	public inline fun isRight(predicate: (B) -> Boolean): Boolean {
	contract {
	returns(true) implies (this@Either is Right<B>)
	returns(false) implies (this@Either is Left<A>)
	}
	return this@Either is Right<B> && predicate(value)
	}