Data.Singletons.Types

type Refuted a

data Decision a