Data.Functor.Contravariant.Divisible

Contravariant Applicative

class Divisible f

divided

conquered

liftD

Contravariant Alternative

class Decidable f

chosen

lost