Bump `base` version to 4.9.0.0 (closes #11026)
[ghc.git] / testsuite / tests / typecheck / should_fail / T8450.hs
1 {-# LANGUAGE ScopedTypeVariables #-}
2 module T8450 where
3
4 runEffect :: Either Bool r -> r
5 runEffect = undefined
6
7 run :: forall a. a
8 run = runEffect $ (undefined :: Either a ())
9
10 {- Either a () ~ Either Bool alpha
11 a ~ alpha -}