testsuite/tests/typecheck/should_fail/T8450.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE ScopedTypeVariables #-}
module T8450 where

runEffect :: Either Bool r -> r
runEffect = undefined

run :: forall a. a
run = runEffect $ (undefined :: Either a ())

{-  Either a () ~ Either Bool alpha
    a ~ alpha -}