Question: I have a variable of type list[A | B] that could hold a mixed list (like [A(), B(), A()]). If I later reach some corner case and I want to make sure all elements are actually of type A, ...