Bug613
class Functor f where #
Methods
fmap :: (a -> b) -> f a -> f b #
Defined in Bug613
fmap :: (a0 -> b) -> Either a a0 -> Either a b #
fmap :: (a1 -> b) -> ThreeVars a0 a a1 -> ThreeVars a0 a b #
data ThreeVars a0 a b #
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
Constructors