Contravariant instance for Kleisli.