This package provides a Dec type.
Dec
type Neg a = a -> Void data Dec a = Yes a | No (Neg a)
Modules
dec-0.0.6