diff --git a/Control/Monad/Free.hs b/Control/Monad/Free.hs
deleted file mode 100644
--- a/Control/Monad/Free.hs
+++ /dev/null
@@ -1,26 +0,0 @@
-module Control.Monad.Free (FreeT(..)) where
-
-import Control.Applicative
-import Control.Monad (liftM)
-import Control.Monad.Trans
-
-{- | @FreeT f@ is a monad transformer for free monads over a functor @f@. 
--}
-newtype FreeT f m a = FreeT { runFreeT :: m (Either a (f (FreeT f m a))) }
-
-editEither l r = either (Left . l) (Right . r)
-conj f = FreeT . f . runFreeT
-
-instance (Functor f, Functor m) => Functor (FreeT f m) where
-    fmap f = conj $ fmap (editEither f ((fmap.fmap) f))
-
-instance (Functor f, Monad m) => Monad (FreeT f m) where
-    return = FreeT . return . Left
-    m >>= f = FreeT $ do
-        r <- runFreeT m
-        case r of
-             Left x   -> runFreeT $ f x
-             Right xc -> return . Right $ fmap (>>= f) xc
-
-instance (Functor f) => MonadTrans (FreeT f) where
-    lift = FreeT . liftM Left
diff --git a/Control/Monad/FreeT.hs b/Control/Monad/FreeT.hs
new file mode 100644
--- /dev/null
+++ b/Control/Monad/FreeT.hs
@@ -0,0 +1,26 @@
+module Control.Monad.FreeT (FreeT(..)) where
+
+import Control.Applicative
+import Control.Monad (liftM)
+import Control.Monad.Trans
+
+{- | @FreeT f@ is a monad transformer for free monads over a functor @f@. 
+-}
+newtype FreeT f m a = FreeT { runFreeT :: m (Either a (f (FreeT f m a))) }
+
+editEither l r = either (Left . l) (Right . r)
+conj f = FreeT . f . runFreeT
+
+instance (Functor f, Functor m) => Functor (FreeT f m) where
+    fmap f = conj $ fmap (editEither f ((fmap.fmap) f))
+
+instance (Functor f, Monad m) => Monad (FreeT f m) where
+    return = FreeT . return . Left
+    m >>= f = FreeT $ do
+        r <- runFreeT m
+        case r of
+             Left x   -> runFreeT $ f x
+             Right xc -> return . Right $ fmap (>>= f) xc
+
+instance (Functor f) => MonadTrans (FreeT f) where
+    lift = FreeT . liftM Left
diff --git a/control-monad-free.cabal b/control-monad-free.cabal
--- a/control-monad-free.cabal
+++ b/control-monad-free.cabal
@@ -1,7 +1,7 @@
 Name: control-monad-free
 Description:
     A monad transformer for free monads.
-Version: 0.1
+Version: 0.2
 Stability: experimental
 Synopsis: A monad transformer for free monads.
 License: PublicDomain
@@ -10,4 +10,4 @@
 Maintainer: lrpalmer@gmail.com
 Build-Type: Simple
 Build-Depends: base, mtl
-Exposed-Modules: Control.Monad.Free
+Exposed-Modules: Control.Monad.FreeT