diff --git a/lib/Quox/Parser/Parser.idr b/lib/Quox/Parser/Parser.idr
index 08c27ef..4563b97 100644
--- a/lib/Quox/Parser/Parser.idr
+++ b/lib/Quox/Parser/Parser.idr
@@ -194,6 +194,7 @@ mutual
   caseBody : Grammar True PCaseBody
   caseBody = braces $
         [|CasePair (pairPat <* darr) (term <* optSemi)|]
+    <|> [|CaseBox (bracks bname <* darr) (term <* optSemi)|]
     <|> CaseNat <$> zeroCase <* resC ";" <*> succCase <* optSemi
     <|> flip CaseNat <$> succCase <* resC ";" <*> zeroCase <* optSemi
     <|> [|CaseEnum $ semiSep [|MkPair tag (darr *> term)|]|]