Sam: a slightly more precise typing of optional field values