module ShouldCompile where test2 :: a -- ^ doc1 -> a test2 x = x