-- to be found A
data A = A

-- to be found B
data B
  -- to be found B1
  = B1 B
    -- to be found B2
    -- TAGS not to be found     | B2 A
    | B2 A