Since we have `unapplyMFAB1`, couldn't this generalize to a `Contravariant[[a]Kleisli[M, a, B]]`?  This could even be a low-priority one inferred from the `Arrow`.

Also, `KleisliFunctions` defines `local`; notwithstanding the above, perhaps one should call the other.