blob: 92b5b679941e8c6e335412d5f49ba091004ee665 (
plain)
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 -}
|