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