If you want to carry two smart keys in one key case, the conclusion is a "separate type" that allows you to store the two ...