KindRightEither

import type { KindRightEither } from "https://github.gh-proxy.cn/raw.githubusercontent.com/baetheus/fun/main/either.ts";

Specifies Either as a Higher Kinded Type with a fixed left type B, with covariant parameter A corresponding to the 0th index of any substitutions.

interface KindRightEither <B> extends Kind {

readonly kind: Either<B, Out<this, 0>>;

}

§Type Parameters

readonly kind: Either<B, Out<this, 0>>