Idris.Elab.Quasiquote

extractUnquotes