Agda.TypeChecking.Monad.Local
makeLocal
makeGlobal
getLocal