module LiftToTopLevel.Signature where

{- Lifting Baz to the top level should bring in x and a as parameters,
   and update the signature to include these
-}
foo a = (baz x a)
  where
    x = 1

    y :: Int -> Int -> Int
    y a b = undefined

baz :: Int -> Int -> Int
baz x a = x  + a