A safe and convenient store for one value of each type