diff --git a/compdata-fixplate.cabal b/compdata-fixplate.cabal
--- a/compdata-fixplate.cabal
+++ b/compdata-fixplate.cabal
@@ -1,5 +1,5 @@
 name:                compdata-fixplate
-version:             0.1.1
+version:             0.1.2
 synopsis:            Compdata basics implemented on top of Fixplate
 description:         This package implements the basic interface of
                      <https://hackage.haskell.org/package/compdata Compdata>
@@ -40,3 +40,4 @@
                      tree-view
   hs-source-dirs:    src
   default-language:  Haskell2010
+  ghc-options:       -Wall
diff --git a/src/Data/Comp/Fixplate.hs b/src/Data/Comp/Fixplate.hs
--- a/src/Data/Comp/Fixplate.hs
+++ b/src/Data/Comp/Fixplate.hs
@@ -162,6 +162,7 @@
 
 pattern Term :: f (Term f) -> Term f
 pattern Term f = Fix f
+{-# COMPLETE Term #-}
 
 unTerm :: Term f -> f (Term f)
 unTerm (Term f) = f
@@ -170,6 +171,7 @@
 
 pattern (:&:) :: f b -> a -> (f :&: a) b
 pattern f :&: a = Ann a f
+{-# COMPLETE (:&:) #-}
 
 class f :<: g where
   inj :: f a -> g a