f# - ¿Es posible hacer cumplir que un Registro respeta a algunos invariantes?