diff --git a/ptera-th.cabal b/ptera-th.cabal
--- a/ptera-th.cabal
+++ b/ptera-th.cabal
@@ -2,7 +2,7 @@
 build-type:          Custom
 
 name:                ptera-th
-version:             0.4.0.0
+version:             0.5.0.0
 license:             Apache-2.0 OR MPL-2.0
 license-file:        LICENSE
 copyright:           (c) 2021 Mizunashi Mana
diff --git a/src/Language/Parser/Ptera/TH/Syntax.hs b/src/Language/Parser/Ptera/TH/Syntax.hs
--- a/src/Language/Parser/Ptera/TH/Syntax.hs
+++ b/src/Language/Parser/Ptera/TH/Syntax.hs
@@ -164,10 +164,14 @@
 pattern HNil :: HTExpList '[]
 pattern HNil = HFList.HFNil
 
+{-# COMPLETE HNil #-}
+
 pattern (:*) :: TH.Q (TH.TExp u) -> HTExpList us -> HTExpList (u ': us)
 pattern e :* es = HFList.HFCons (TExpQ e) es
 
 infixr 6 :*
+
+{-# COMPLETE (:*) #-}
 
 
 type SemActM :: Type -> [Type] -> Type -> Type