1 files changed, 4 insertions, 4 deletions
diff --git a/src/Language/Fiddle/Parser.hs b/src/Language/Fiddle/Parser.hs
index b44a9a1..85ae65e 100644
--- a/src/Language/Fiddle/Parser.hs
+++ b/src/Language/Fiddle/Parser.hs
@@ -52,7 +52,7 @@ isComment (Token t _) =
 stripTrailingComments :: [Token s] -> [Token s]
 stripTrailingComments = reverse . dropWhile isComment . reverse
 
-directed :: Pa t -> PaS (Directed (t 'Stage1))
+directed :: Pa t -> PaS (Directed t 'Stage1)
 directed subparser = withMeta $ do
   Directed <$> many directive <*> subparser
 
@@ -195,7 +195,7 @@ objType = do
       (ReferencedObjType <$> name)
         <|> ( do
                 t <- bodyType
-                AnonymousObjType <$> defer body (objTypeBody t)
+                AnonymousObjType (Witness ()) <$> defer body (objTypeBody t)
             )
 
 exprInParen :: Pa Expression
@@ -211,7 +211,7 @@ objTypeDecl =
   withMeta $
     ( do
         tok KWAssertPos
-        AssertPosStatement <$> exprInParen
+        AssertPosStatement (Witness ()) <$> exprInParen
     )
       <|> ( do
               tok KWReserved
@@ -291,7 +291,7 @@ registerBitsTypeRef = do
     baseTypeRef =
       withMeta $
         (RegisterBitsJustBits <$> exprInParen)
-          <|> (RegisterBitsAnonymousType <$> anonymousBitsType)
+          <|> (RegisterBitsAnonymousType (Witness ()) <$> anonymousBitsType)
           <|> (RegisterBitsReference <$> name)
 
 anonymousBitsType :: Pa AnonymousBitsType