Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail110.hs
1 {-# LANGUAGE RankNTypes #-}
2
3 module ShouldCompile where
4
5 data Foo a b = Foo { foo :: a -> b }
6
7 -- kind error in here
8 bar :: String -> (forall a . Foo a) -> IO ()
9 bar s _ = putStrLn s