Renamed ContravariantApplicative to Divisible and ContravariantAlternative to Decidable