constraints-0.13: Constraint manipulation

Index - :

:-Data.Constraint
:=>Data.Constraint
:~:Data.Constraint.Deferrable
:~~:Data.Constraint.Deferrable