path: root/testsuite/tests/typecheck/should_fail/tcfail110.hs

{-# LANGUAGE Rank2Types #-}

module ShouldCompile where

data Foo a b = Foo { foo :: a -> b }

-- kind error in here
bar :: String -> (forall a . Foo a) -> IO ()
bar s _ = putStrLn s