diff --git a/library/Success/Impure.hs b/library/Success/Impure.hs
--- a/library/Success/Impure.hs
+++ b/library/Success/Impure.hs
@@ -23,7 +23,7 @@
 
 newtype Success a m b =
   Success (m (Success.Pure.Success a b))
-  deriving (Functor)
+  deriving (Functor, Foldable, Traversable)
 
 instance Applicative m => Applicative (Success e m) where
   {-# INLINE pure #-}
diff --git a/library/Success/Pure.hs b/library/Success/Pure.hs
--- a/library/Success/Pure.hs
+++ b/library/Success/Pure.hs
@@ -22,7 +22,7 @@
 
 newtype Success a b =
   Success (Either (Maybe a) b)
-  deriving (Functor, Applicative, Monad, MonadError (Maybe a), Show)
+  deriving (Functor, Applicative, Monad, MonadError (Maybe a), Show, Foldable, Traversable)
 
 instance Alternative (Success a) where
   {-# INLINE empty #-}
diff --git a/success.cabal b/success.cabal
--- a/success.cabal
+++ b/success.cabal
@@ -1,7 +1,7 @@
 name:
   success
 version:
-  0.2.2
+  0.2.3
 synopsis:
   A version of Either specialised for encoding of success or failure
 description:
@@ -42,7 +42,7 @@
   hs-source-dirs:
     library
   default-extensions:
-    Arrows, BangPatterns, ConstraintKinds, DataKinds, DefaultSignatures, DeriveDataTypeable, DeriveFunctor, DeriveGeneric, EmptyDataDecls, FlexibleContexts, FlexibleInstances, FunctionalDependencies, GADTs, GeneralizedNewtypeDeriving, ImpredicativeTypes, LambdaCase, LiberalTypeSynonyms, MagicHash, MultiParamTypeClasses, MultiWayIf, NoImplicitPrelude, NoMonomorphismRestriction, OverloadedStrings, PatternGuards, ParallelListComp, QuasiQuotes, RankNTypes, RecordWildCards, ScopedTypeVariables, StandaloneDeriving, TemplateHaskell, TupleSections, TypeFamilies, TypeOperators, UnboxedTuples
+    Arrows, BangPatterns, ConstraintKinds, DataKinds, DefaultSignatures, DeriveDataTypeable, DeriveFoldable, DeriveFunctor, DeriveGeneric, DeriveTraversable, EmptyDataDecls, FlexibleContexts, FlexibleInstances, FunctionalDependencies, GADTs, GeneralizedNewtypeDeriving, ImpredicativeTypes, LambdaCase, LiberalTypeSynonyms, MagicHash, MultiParamTypeClasses, MultiWayIf, NoImplicitPrelude, NoMonomorphismRestriction, OverloadedStrings, PatternGuards, ParallelListComp, QuasiQuotes, RankNTypes, RecordWildCards, ScopedTypeVariables, StandaloneDeriving, TemplateHaskell, TupleSections, TypeFamilies, TypeOperators, UnboxedTuples
   default-language:
     Haskell2010
   exposed-modules: