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