Agda.TypeChecking.Quote
quotingKit
quoteName
quoteConName
quoteTerm
quoteType
agdaTermType
qNameType
isCon
unquoteFailedGeneric
unquoteFailed
class Unquote a
unquoteH
unquoteN
choice