==================== Parser ==================== module ShouldCompile where test2 :: a " doc1 " -> b " doc2 " -> a " doc 3 " test2 x y = x