Update syntax for records in GADT syntax
drwxr-xr-x - testsuite