diff --git a/src/Data/Syntax.hs b/src/Data/Syntax.hs
index 249ce33f8..ed9f7cd51 100644
--- a/src/Data/Syntax.hs
+++ b/src/Data/Syntax.hs
@@ -109,7 +109,7 @@ instance (Apply Message1 fs, Generate Message1 fs fs, Generate GenericNamed fs f
     where
       listOfParsers =
         generate @Message1 @fs @fs (\ (proxy :: proxy f) i -> let num = FieldNumber (fromInteger (succ i)) in [(num, fromJust <$> embedded (inject @f @fs <$> liftDecodeMessage decodeMessage num))])
-  liftDotProto dotProto _ =
+  liftDotProto _ =
     [Proto.DotProtoMessageOneOf (Proto.Single "syntax") (generate @GenericNamed @fs @fs (\ (proxy :: proxy f) i ->
       let
         num = FieldNumber (fromInteger (succ i))
diff --git a/src/Data/Term.hs b/src/Data/Term.hs
index e460be6e3..232cf2f9e 100644
--- a/src/Data/Term.hs
+++ b/src/Data/Term.hs
@@ -82,7 +82,7 @@ instance (Show1 f, Show a) => Show (Term f a) where
 instance (Message1 f) => Message (Term f ()) where
   encodeMessage num (Term (In _ f)) = liftEncodeMessage encodeMessage num f
   decodeMessage num = termIn () <$> liftDecodeMessage decodeMessage num
-  dotProto _ = liftDotProto (dotProto @(Term f ())) (Proxy @(f (Term f ())))
+  dotProto _ = liftDotProto (Proxy @(f (Term f ())))
 
 instance Named (Term f ()) where
   nameOf _ = "Term"