A higher kinded equivalent of cats.Contravariant.contramap.
A higher kinded equivalent of cats.Invariant.imap.