Remove shadowing from Language.Haskell.Liquid.Synthesize
Remove shadowing from Language.Haskell.Liquid.Synthesize

ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell