==================== Parser ====================
module ShouldCompile where
data A = <document comment> A | <document comment> B | <document comment> C | D