diff --git a/src/Debug.hs b/src/Debug.hs
index 9e843f35c..d51815391 100644
--- a/src/Debug.hs
+++ b/src/Debug.hs
@@ -35,8 +35,8 @@ traceShowM :: (P.Show a, P.Monad m) => a -> m ()
 traceShowM a = T.traceM (P.show a)
 
 {-# WARNING traceM "'traceM' remains in code" #-}
-traceM :: P.Monad m => P.String -> m ()
-traceM = T.traceM
+traceM :: (P.Monad m) => P.String -> m ()
+traceM s = T.trace s (P.return ())
 
 {-# WARNING traceIO "'traceIO' remains in code" #-}
 traceIO :: P.String -> P.IO ()
diff --git a/src/Protolude.hs b/src/Protolude.hs
index ba794e6a4..a82763e83 100644
--- a/src/Protolude.hs
+++ b/src/Protolude.hs
@@ -178,12 +178,9 @@ import GHC.Generics (
   , S1
   , (:+:)
   , (:*:)
-  , NoSelector
   , Rec0
-  , Par0
   , Constructor(..)
   , Selector(..)
-  , Arity(..)
   , Fixity(..)
   )