--- a/src/Top/Solver.hs
+++ b/src/Top/Solver.hs
@@ -26,2 +26,3 @@ import Top.Constraint.Information
 import Control.Monad.Writer
+import qualified Data.Semigroup as S
 
@@ -170,2 +171,5 @@ evalBasicMonad = runWriter . flip evalStateFixT empty
 
+instance S.Semigroup LogEntries where
+   (<>) (LogEntries f) (LogEntries g) = LogEntries (f . g)
+
 instance Monoid LogEntries where