Data.Functor.Contravariant.Divisible

Contravariant Applicative

class Divisible f

divided

conquered

liftD

Contravariant Alternative

class Decidable f

chosen

lost

Mathematical definitions

Divisible

A note on conquer

Decidable