so - I expand `EitherPartialOf<L>` -> `...

# arrow-contributors

[Eugenio]

so
• I expand EitherPartialOf<L> -> Kind<ForEither, A>
• I look at ForEither -> ForEither : KindId(Either::class) -> Either 💥