diff --git a/equivalence.cabal b/equivalence.cabal
--- a/equivalence.cabal
+++ b/equivalence.cabal
@@ -1,9 +1,9 @@
 Name:            equivalence
-Version:         0.2.3
+Version:         0.2.4
 License:         BSD3
 License-File:    LICENSE
 Author:          Patrick Bahr
-Maintainer:      paba@diku.dk
+Maintainer:      paba@di.ku.dk
 Homepage:        https://bitbucket.org/paba/equivalence/
 bug-reports:     https://bitbucket.org/paba/equivalence/issues/new
 Synopsis:        Maintaining an equivalence relation implemented as union-find using STT.
diff --git a/src/Data/Equivalence/Monad.hs b/src/Data/Equivalence/Monad.hs
--- a/src/Data/Equivalence/Monad.hs
+++ b/src/Data/Equivalence/Monad.hs
@@ -47,6 +47,7 @@
 import Control.Monad.Trans
 import Control.Monad.Identity
 import Control.Monad.ST.Trans
+import Control.Applicative
 
 
 {-| This monad transformer encapsulates computations maintaining an
@@ -77,6 +78,13 @@
 trivial equivalence class descriptors of type @()@. -}
 
 type EquivM' s v = EquivM s () v
+
+instance Functor m => Functor (EquivT s c v m) where
+  fmap f (EquivT m) = EquivT $ fmap f m
+
+instance (Functor m, Monad m) => Applicative (EquivT s c v m) where
+  pure = EquivT . pure
+  (EquivT f) <*> (EquivT a) = EquivT (f <*> a)
 
 instance (Monad m) => Monad (EquivT s c v m) where
     EquivT m >>= f = EquivT (m >>= (unEquivT . f))
diff --git a/testsuite/tests/Data_Test.hs b/testsuite/tests/Data_Test.hs
new file mode 100644
--- /dev/null
+++ b/testsuite/tests/Data_Test.hs
@@ -0,0 +1,18 @@
+module Main where
+
+import Test.Framework
+import qualified Data.Equivalence.Monad_Test
+
+--------------------------------------------------------------------------------
+-- Test Suits
+--------------------------------------------------------------------------------
+
+main = defaultMain [tests]
+
+tests = testGroup "Data" [
+         Data.Equivalence.Monad_Test.tests
+       ]
+
+--------------------------------------------------------------------------------
+-- Properties
+--------------------------------------------------------------------------------