1 2 3 4 5 6
module ShouldCompile where data A = A | {-| comment for B -} forall a. B a a | forall a. Num a => C a {-^ comment for C -}