blob: d1cb709c555538f8b8247aab8c163d73feb87b80 (
plain)
1
2
3
4
5
6
7
8
9
10
|
==================== Parser ====================
module ShouldCompile where
test ::
[a] doc1
-> forall b. (Ord b) =>
[b] doc2 -> forall c. (Num c) => [c] doc3 -> [a]
test xs ys zs = xs
|