==================== Parser ==================== module ShouldCompile where data R a = R {field1 :: a, field2 :: a comment for field2, field3 :: a comment for field3, field4 :: a comment for field4 }