Type.Family.Constraint

type ØC

type Fail

class Iff b t f

class Comp d c a

data Constraint