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 :: Bool) (c :: Constraint) :: Constraint where ...
class TestEquality1 f
data Dec a
class DecEquality f