Data.Singletons.Decide

The SDecide class

class SDecide kparam

Supporting definitions

data a :~: b

data Void

type Refuted a

data Decision a