`Either` and `EitherType`