Remove shadowing from Language.Haskell.Liquid.Bare.Axiom
Remove shadowing from Language.Haskell.Liquid.Bare.Axiom

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