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