Giusto hai ragione.
Siamo dentro un modulo di classi e campi record è una collection dentro un altro modulo di classe!