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