type A is access all B;
