diff --git a/Control/Monad/Base.hs b/Control/Monad/Base.hs
new file mode 100644
--- /dev/null
+++ b/Control/Monad/Base.hs
@@ -0,0 +1,17 @@
+{-# LANGUAGE FunctionalDependencies, UndecidableInstances #-}
+
+module Control.Monad.Base where
+
+import Control.Monad.Trans;
+import Control.Monad.Identity;
+
+class (Monad b, Monad m) => MonadBase b m | m -> b where liftBase :: b a -> m a;
+
+instance (MonadTrans xT, Monad (xT m), MonadBase b m) => MonadBase b (xT m) where liftBase = lift . liftBase;
+
+instance MonadBase IO         IO         where liftBase = id;
+instance MonadBase Maybe      Maybe      where liftBase = id;
+instance MonadBase (Either a) (Either a) where liftBase = id;
+instance MonadBase []         []         where liftBase = id;
+instance MonadBase ((->) r)   ((->) r)   where liftBase = id;
+instance MonadBase Identity   Identity   where liftBase = id;
diff --git a/Setup.hs b/Setup.hs
new file mode 100644
--- /dev/null
+++ b/Setup.hs
@@ -0,0 +1,2 @@
+import Distribution.Simple
+main = defaultMain
diff --git a/license.txt b/license.txt
new file mode 100644
--- /dev/null
+++ b/license.txt
@@ -0,0 +1,29 @@
+Copyright 2011 CE Bas van Dijk, Anders Kaseorg, Matthew Farkas-Dyck
+All rights reserved.
+
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions are
+met:
+
+• Redistributions of source code must retain the above copyright
+  notice, this list of conditions and the following disclaimer.
+
+• Redistributions in binary form must reproduce the above copyright
+  notice, this list of conditions and the following disclaimer in the
+  documentation and/or other materials provided with the distribution.
+
+• Neither the name of the author nor the names of other contributors
+  may be used to endorse or promote products derived from this
+  software without specific prior written permission.
+
+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+“AS IS” AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
+A PARTICULAR PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE COPYRIGHT
+HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
+SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
+LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
+THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
diff --git a/mmtl-base.cabal b/mmtl-base.cabal
new file mode 100644
--- /dev/null
+++ b/mmtl-base.cabal
@@ -0,0 +1,18 @@
+Name:mmtl-base
+Version:15321.1
+License:BSD3
+License-File:license.txt
+Author:Mikhail Vorozhtsov <mikhail.vorozhtsov@gmail.com>, Bas van Dijk <v.dijk.bas@gmail.com>, Matthew Farkas-Dyck
+Copyright:2011 Mikhail Vorozhtsov <mikhail.vorozhtsov@gmail.com>, Bas van Dijk <v.dijk.bas@gmail.com>, Matthew Farkas-Dyck
+Maintainer:strake888@gmail.com
+Category:Control
+Synopsis:MonadBase type-class for mmtl
+Build-Type:Simple
+Cabal-Version: >= 1.2
+Description: Adaptation of Mikhail Vorozhtsov's and Bas van Dijk's transformers-base package to mmtl
+
+Library {
+  Build-Depends: base >= 4 && < 5, mmtl
+  Extensions: MultiParamTypeClasses, FlexibleContexts, FlexibleInstances
+  Exposed-Modules: Control.Monad.Base
+}