Data.Constraint

The Kind of Constraints

data Constraint

Dictionary

data Dict

Entailment

data a :- b

(\\)

weaken1

weaken2

contract

(&&&)

(***)

trans

refl

top

bottom

Dict is fully faithful

mapDict

unmapDict

Reflection

class Class b h

class b :=> h