F1.narrow
EitherT.narrow