Data.Algebra.Boolean.Negable

data Neg a

class Negable x