==================== Parser ====================
module ShouldCompile where
test ::
  (Eq a) =>
  -- | doc1
  [a]
  -> forall b.
     [b] {-^ doc2 -}
     -> -- | doc3
        [a]
test xs ys = xs