Type.Family.Constraint

type ØC

class Iff b t f

data Constraint