:: (x -> y) -> (p -> q) -> Either x p -> Either y q package:reform

imap is similar to fmap
Lift a function to actions. This function may be used as a value for imap in a IndexedFunctor instance.