Было бы неплохо в макросе Record сделать опцию, которая бы в генерируемом конструкторе задавала параметры по умолчанию для все полей в виде default(T)
Не очень удобно в случае 10 полей (среди которых куча необязательных) писать большинству полей null (0, default(T), whatever).

Я могу ошибаться, но по-моему данной фичи пока нет. А я сам пока не постиг высшее ДАО написания макросов на том уровне, на котором описаны стандартные макросы.