Agda.TypeChecking.Reduce.Monad
constructorForm
enterClosure
underAbstraction_
getConstInfo
isInstantiatedMeta
lookupMeta
traceSLn
traceSDoc
askR
applyWhenVerboseS