diff --git a/mello.cabal b/mello.cabal
--- a/mello.cabal
+++ b/mello.cabal
@@ -5,7 +5,7 @@
 -- see: https://github.com/sol/hpack
 
 name:           mello
-version:        0.2.0
+version:        0.2.1
 synopsis:       No-fuss syntax with s-expressions
 description:    Please see the README on GitHub at <https://github.com/ejconlon/mello#readme>
 category:       Parsing
diff --git a/src/Mello/Match.hs b/src/Mello/Match.hs
--- a/src/Mello/Match.hs
+++ b/src/Mello/Match.hs
@@ -31,6 +31,9 @@
   , anyCharM
   , charM
   , anyAtomM
+  , quoteM
+  , unquoteM
+  , docM
   , MatchSexp (..)
   , fromSexpT
   , fromSexp
@@ -55,11 +58,14 @@
 import Data.Sequence qualified as Seq
 import Data.Text (Text)
 import Data.Typeable (Typeable)
-import Mello.Syntax (Atom (..), AtomType (..), Brace, Sexp (..), SexpF (..), SexpType (..), Sym (..))
+import Mello.Syntax (Atom (..), AtomType (..), Brace, Doc, Sexp (..), SexpF (..), SexpType (..), Sym (..))
 
 data MatchErr e r
   = MatchErrType !SexpType
   | MatchErrTypeAtom
+  | MatchErrTypeQuote
+  | MatchErrTypeUnquote
+  | MatchErrTypeDoc
   | MatchErrNotEq !Atom
   | MatchErrListElem !Int
   | MatchErrListRem
@@ -319,6 +325,24 @@
 anyAtomM = matchM $ \case
   SexpAtomF a -> Right a
   _ -> Left MatchErrTypeAtom
+
+quoteM :: (Monad m) => MatchT e k m (Memo SexpF k)
+quoteM = matchM $ \case
+  SexpQuoteF x -> Right x
+  _ -> Left MatchErrTypeQuote
+
+unquoteM :: (Monad m) => MatchT e k m (Memo SexpF k)
+unquoteM = matchM $ \case
+  SexpUnquoteF x -> Right x
+  _ -> Left MatchErrTypeQuote
+
+docM :: (Monad m) => MatchT e k m a -> MatchT e k m (Doc, a)
+docM m = do
+  (d, x) <- matchM $ \case
+    SexpDocF d x -> Right (d, x)
+    _ -> Left MatchErrTypeDoc
+  a <- MatchT (local (const x) (unMatchT m))
+  pure (d, a)
 
 class (Monad m) => MatchSexp e k m a where
   matchSexp :: MatchT e k m a