[ProcXel.A]

Если ты вдруг создашь класс С, который будет унаследован от В, а потом твоя переменная а захочет стать экземпляром С, то лучше прописать тип В. Если переменная а всегда будет экземпляром А, то лучше указать тип А. Как-то так.