type A is access all B