É possível impor que um registro respeite algumas invariantes?

Suponha que eu queira criar um tipo de registro que represente limites min / max aceitáveis: