Bump `base` version to 4.9.0.0 (closes #11026)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail176.hs
1 {-# LANGUAGE GADTs #-}
2
3 -- Newtype in GADT syntax
4
5 module ShouldFail where
6
7 newtype Bug a where Bug :: a -> Maybe a