==================== Parser ====================
module ShouldCompile where
data A
  = A |
     comment for B  forall a. B a a |
     comment for C  forall a. Num a => C a