1 2 3 4 5 6 7
==================== Parser ==================== module ShouldCompile where test :: (Eq a) => [a] doc1 -> forall b. [b] doc2 -> [a] doc3 test xs ys = xs