this is some kind of pattern matcher deficiency, since it should clearly be able to figure out the LUB of MemberDowned and MemberRemoved (but it doesn’t)