类型存在于'A'和'B'中

Now I know there are a number of these questions already up here, but after flipping through them, I haven't found one that solves my specific problem. Now I know there are a number of these question