Single-constructor record declarations