Since `write` functions should not mutate the arguments, we can allow `readonly` types to be passed in.