Value restriction removed.