semiFold

EitherR3 IorR3