Using new syntax in html-test/src/GADTRecords.hs.