Data.Functor.Contravariant.Generic

class Deciding q a

class Deciding1 q t