diff --git a/Data/Semigroup/Foldable.hs b/Data/Semigroup/Foldable.hs
--- a/Data/Semigroup/Foldable.hs
+++ b/Data/Semigroup/Foldable.hs
@@ -23,6 +23,7 @@
 import Data.Functor.Apply
 import Data.Functor.Product
 import Data.Functor.Compose
+import Data.Tree
 import Data.List.NonEmpty (NonEmpty(..))
 import Data.Semigroup hiding (Product)
 import Data.Monoid hiding (Product)
@@ -35,6 +36,10 @@
 
   foldMap1 f = maybe (error "foldMap1") id . getOption . foldMap (Option . Just . f) 
   fold1 = foldMap1 id
+
+instance Foldable1 Tree where
+  foldMap1 f (Node a []) = f a
+  foldMap1 f (Node a (x:xs)) = f a <> foldMap1 (foldMap1 f) (x :| xs)
 
 instance Foldable1 Identity where
   foldMap1 f = f . runIdentity
diff --git a/Data/Semigroup/Traversable.hs b/Data/Semigroup/Traversable.hs
--- a/Data/Semigroup/Traversable.hs
+++ b/Data/Semigroup/Traversable.hs
@@ -22,6 +22,7 @@
 import Data.Functor.Compose
 import Data.Semigroup.Foldable
 import Data.Traversable
+import Data.Tree
 import Data.List.NonEmpty (NonEmpty(..))
 import Data.Semigroup hiding (Product)
 import Data.Traversable.Instances ()
@@ -47,6 +48,10 @@
 
 instance (Traversable1 f, Traversable1 g) => Traversable1 (Product f g) where
   traverse1 f (Pair a b) = Pair <$> traverse1 f a <.> traverse1 f b
+
+instance Traversable1 Tree where
+  traverse1 f (Node a []) = (`Node`[]) <$> f a
+  traverse1 f (Node a (x:xs)) = (\b (y:|ys) -> Node b (y:ys)) <$> f a <.> traverse1 (traverse1 f) (x :| xs)
 
 instance Traversable1 NonEmpty where
   traverse1 f (a :| []) = (:|[]) <$> f a
diff --git a/semigroupoids.cabal b/semigroupoids.cabal
--- a/semigroupoids.cabal
+++ b/semigroupoids.cabal
@@ -1,6 +1,6 @@
 name:          semigroupoids
 category:      Control, Comonads
-version:       1.2.4
+version:       1.2.5
 license:       BSD3
 cabal-version: >= 1.6
 license-file:  LICENSE