eitherFmap :: (a -> b) -> Either e a -> Either e b
eitherFmap fa eab = _

global :: Bool
global = True

foo :: Int
foo  = _

dontSuggestLambdaCase :: Either a b -> Int
dontSuggestLambdaCase = _