This package provides a Dec type.

  type Neg a = a -> Void

  data Dec a
      = Yes a
      | No (Neg a)

Homepage:
http://hackage.haskell.org/package/dec
