data R = A | ... -- Defined at :3:10