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