Test RecordInfixSelector.hs is correct