Agda.TypeChecking.Unquote
agdaTermType
qNameType
type UnquoteM
runUnquoteM
isCon
class Unquote a
unquoteH
unquoteN
choice
ensureDef
ensureCon
pickName
data UnquotedFunDef
reifyUnquoted