diff --git a/language-ats.cabal b/language-ats.cabal
--- a/language-ats.cabal
+++ b/language-ats.cabal
@@ -1,6 +1,6 @@
 cabal-version: 1.18
 name: language-ats
-version: 1.2.0.8
+version: 1.2.0.9
 license: BSD3
 license-file: LICENSE
 copyright: Copyright: (c) 2018 Vanessa McHale
@@ -43,8 +43,8 @@
     build-depends:
         base >=4.10 && <5,
         array -any,
-        recursion-schemes >= 5.0.1,
-        lens,
+        recursion-schemes >=5.0.1,
+        lens -any,
         deepseq -any,
         ansi-wl-pprint >=0.6.8,
         composition-prelude -any,
diff --git a/src/Language/ATS/Parser.y b/src/Language/ATS/Parser.y
--- a/src/Language/ATS/Parser.y
+++ b/src/Language/ATS/Parser.y
@@ -332,6 +332,7 @@
         | identifier Pattern { PSum (to_string $1) $2 }
         | identifierSpace Pattern { PSum (to_string $1) $2 }
         | openParen PatternIn vbar PatternIn closeParen { Proof $1 $2 $4 }
+        | boxTuple PatternIn closeParen { BoxTuplePattern $1 $2 }
         | parens(PatternIn) { TuplePattern $1 }
         | Literal { PLiteral $1 }
         | Pattern when Expression { Guarded $2 $3 $1 }
diff --git a/src/Language/ATS/PrettyPrint.hs b/src/Language/ATS/PrettyPrint.hs
--- a/src/Language/ATS/PrettyPrint.hs
+++ b/src/Language/ATS/PrettyPrint.hs
@@ -209,6 +209,7 @@
         a (GuardedF _ e p)             = p <+> "when" <+> pretty e
         a (ProofF _ p p')              = parens (patternHelper p <+> "|" <+> patternHelper p')
         a (TuplePatternF ps)           = parens (patternHelper ps)
+        a (BoxTuplePatternF _ ps)      = "'(" <> patternHelper ps <> ")"
         a (AtPatternF _ p)             = "@" <> p
         a (UniversalPatternF _ n us p) = text n <> prettyArgsU "" "" us <> p
         a (ExistentialPatternF e p)    = pretty e <> p
diff --git a/src/Language/ATS/Types.hs b/src/Language/ATS/Types.hs
--- a/src/Language/ATS/Types.hs
+++ b/src/Language/ATS/Types.hs
@@ -198,6 +198,7 @@
              | Free (Pattern a)
              | Proof a [Pattern a] [Pattern a]
              | TuplePattern [Pattern a]
+             | BoxTuplePattern a [Pattern a]
              | AtPattern a (Pattern a)
              | UniversalPattern a String [Universal a] (Pattern a)
              | ExistentialPattern (Existential a) (Pattern a)