-- once to be found C2
data B = C1
  | C2	B