Type.Class.Witness
data Wit
data Wit1
data (:-)
class Witness p q t
class Fails c
class Const c d
class (f ∘ g) a
class (f ∧ g) a
class (f ∨ g) a
class Forall p q
type family Holds b c :: Constraint
class TestEquality1 f
data Dec a
class DecEquality f