path: root/testsuite/tests/partial-sigs/should_compile/HigherRank2.hs

{-# LANGUAGE PartialTypeSignatures, RankNTypes #-}
module HigherRank2 where

foo :: (forall a. [a] -> [a]) -> (_, _ _)
foo x = (x [True, False], x ['a', 'b'])