-- | 'isLocalVar' returns @True@ for type variables as well as local 'Id's
-- These are the variables that we need to pay attention to when finding free
-- variables, or doing dependency analysis.
isLocalVar :: Var -> Bool
isLocalVar v = not (isGlobalId v)
isLocalVar :: Var -> Bool
isLocalVar v = not (isGlobalId v)
isLocalVar v = not (isGlobalId v)