Data.Singletons.Decide
The SDecide class
class
SDecide
k
Supporting definitions
data
(k
:~:
a) b
data
Void
type
Refuted
a
data
Decision
a