Test abstracting over a type variable of kind Constraint
drwxr-xr-x - testsuite