Explicit kind signature for Constraint family allows the use of () for the empty constraint.
Explicit kind signature for Constraint family allows the use of () for the empty constraint.

vladfi1/hs-misc,vladfi1/hs-misc