1 2 3 4 5
case foo; in ::A then true; end case foo; in A then true; end case foo; in A::B then true; end