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