Type.Class.Witness

data Wit

data Wit1

data (:-)

class Witness p q t

entailed

witnessed

(/?)

qed

impossible

data Dec a

class DecEquality f

decCase

data Bij p a b

($->)

(<-$)

class Monoidal c

class Symmetric c

(***)

type (<->)

(<->)

(<?>)