module ShouldCompile where data A -- | A comment that documents the first constructor = A | B | C | D