Type.Family.Constraint

type ØC

type Fail

class Iff b t f

data Constraint