Data.Singletons.Decide

The SDecide class

class SDecide k

Supporting definitions

data (k :~: a) b

data Void

type Refuted a

data Decision a