Data.Functor.Contravariant.Divisible
class Divisible f
divided
conquered
liftD
class Decidable f
chosen
lost