Type.Class.Witness

data Wit

data Wit1

data (:-)

class Witness p q t

witnessed

entailed

class Fails c

absurdC

class Const c d

class (f ∘ g) a

class (f ∧ g) a

class (f ∨ g) a

eitherC

pureC

contraC

class Forall p q

commute

type family Holds b c :: Constraint

falso

top

type Fail

bottom

(//?)

witMaybe

qed

impossible

(=?=)

class TestEquality1 f

(=??=)

data Dec a

class DecEquality f

decCase

absurd