data A
  = B -- C
  | -- D
    E