Field labels must be globally unique?

[Tom Pledger]

A third way is to put each datatype declaration in a separate module and 
use qualified imports.