mapR3
EitherR3
IorR3
FunctorR3