blob: effef6950c3b212f9120e0e83353cf43a9010adb (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
module Bug613 where
import Prelude (Either(Left, Right))
class Functor f where
fmap :: (a -> b) -> f a -> f b
instance Functor (Either a) where
fmap _ (Left x) = Left x
fmap f (Right y) = Right (f y)
-- | Phantom type a0 is added to block the first renaming from a to a0. This ensures that the renamer doesn't create a new conflict
data ThreeVars a0 a b = ThreeVars a b
instance Functor (ThreeVars a0 a) where
fmap f (ThreeVars a b) = ThreeVars a (f b)
|
