{-# OPTIONS_GHC -fno-warn-redundant-constraints #-}
{-# LANGUAGE RankNTypes #-}

module ShouldCompile where

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