diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 0bcf40c..a8c24e3 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -68,8 +68,8 @@ jobs:
     - name: Build
       run: |
         cabal build all --write-ghc-environment-files=always
-        ghc -iexample Example
-        ghc -iexample Testing
+        ghc -Wall -Werror -iexample Example
+        ghc -Wall -Werror -iexample Testing
 
     - name: Test
       run: |
diff --git a/example/Example.hs b/example/Example.hs
index 909fa9f..1c35079 100644
--- a/example/Example.hs
+++ b/example/Example.hs
@@ -166,6 +166,14 @@ vec0 = circuit \[] -> ()
 vec00 :: Circuit (Vec 0 a) (Vec 0 a)
 vec00 = circuit \[] -> []
 
+fanout :: forall dom. Circuit (DF dom Int) (DF dom Int)
+fanout = circuit $ \a -> do
+  [x] <- go -< a
+  idC -< x
+ where
+  go :: Circuit (DF dom Int) (Vec n (DF dom Int))
+  go = error "Not implemented"
+
 -- test that signals can be duplicated
 dupSignalC0 :: Circuit (Signal dom Bool) (Signal dom Bool, Signal dom Bool)
 dupSignalC0 = circuit $ \x -> (x, x)
diff --git a/src/Circuit.hs b/src/Circuit.hs
index 12c9cee..0d3024d 100644
--- a/src/Circuit.hs
+++ b/src/Circuit.hs
@@ -10,6 +10,7 @@
 This file contains the 'Circuit' type, that the notation describes.
 -}
 
+{-# LANGUAGE CPP                    #-}
 {-# LANGUAGE DataKinds              #-}
 {-# LANGUAGE DeriveFunctor          #-}
 {-# LANGUAGE GADTs                  #-}
@@ -27,6 +28,16 @@ module Circuit where
 
 import           Clash.Prelude
 
+#if __GLASGOW_HASKELL__ > 900
+-- | Unsafe version of ':>'. Will fail if applied to empty vectors. This is used to
+-- workaround spurious incomplete pattern match warnings generated in newer GHC
+-- versions.
+pattern (:>!) :: a -> Vec n a -> Vec (n + 1) a
+pattern (:>!) x xs <- (\ys -> (head ys, tail ys) -> (x,xs))
+{-# COMPLETE (:>!) #-}
+infixr 5 :>!
+#endif
+
 type family Fwd a
 type family Bwd a
 
diff --git a/src/CircuitNotation.hs b/src/CircuitNotation.hs
index e9fc41f..67bde1f 100644
--- a/src/CircuitNotation.hs
+++ b/src/CircuitNotation.hs
@@ -443,7 +443,7 @@ tupP :: p ~ GhcPs => [LPat p] -> LPat p
 tupP [pat] = pat
 tupP pats = noLoc $ TuplePat noExt pats GHC.Boxed
 
-vecP :: SrcSpanAnnA -> [LPat GhcPs] -> LPat GhcPs
+vecP :: (?nms :: ExternalNames) => SrcSpanAnnA -> [LPat GhcPs] -> LPat GhcPs
 vecP srcLoc = \case
   [] -> go []
 #if __GLASGOW_HASKELL__ < 904
@@ -464,7 +464,7 @@ vecP srcLoc = \case
       l1 = l0
 #endif
     in
-      L srcLoc $ conPatIn (L l1 (thName '(:>))) (InfixCon p (go pats))
+      L srcLoc $ conPatIn (L l1 (consPat ?nms)) (InfixCon p (go pats))
   go [] = L srcLoc $ WildPat noExtField
 
 varP :: SrcSpanAnnA -> String -> LPat GhcPs
@@ -1316,6 +1316,7 @@ data ExternalNames = ExternalNames
   , fwdBwdCon :: GHC.RdrName
   , fwdAndBwdTypes :: Direction -> GHC.RdrName
   , trivialBwd :: GHC.RdrName
+  , consPat :: GHC.RdrName
   }
 
 defExternalNames :: ExternalNames
@@ -1330,4 +1331,9 @@ defExternalNames = ExternalNames
       Fwd -> GHC.Unqual (OccName.mkTcOcc "Fwd")
       Bwd -> GHC.Unqual (OccName.mkTcOcc "Bwd")
   , trivialBwd = GHC.Unqual (OccName.mkVarOcc "unitBwd")
+#if __GLASGOW_HASKELL__ > 900
+  , consPat = GHC.Unqual (OccName.mkDataOcc ":>!")
+#else
+  , consPat = GHC.Unqual (OccName.mkDataOcc ":>")
+#endif
   }