diff --git a/Control/Arrow/ApplyUtils.hs b/Control/Arrow/ApplyUtils.hs
new file mode 100644
--- /dev/null
+++ b/Control/Arrow/ApplyUtils.hs
@@ -0,0 +1,112 @@
+{-# LANGUAGE FlexibleInstances #-}
+module Control.Arrow.ApplyUtils
+where
+import Control.Arrow
+
+-- | An instance that lets you work with Arrows that support ArrowApply as monads.
+-- | Example:
+-- |   myarrow :: ArrowApply a => a Int Int
+-- |   myarrow = monadicA $ \v -> do
+-- |               let vp1 = v + 1
+-- |               v' <- unmonadicA anotherIntToIntArrow vp1
+-- |               return (v' * 10)
+instance ArrowApply a => Monad (a ())
+  where
+    x >>= y = (x >>^ (\v -> (y v, ()))) >>> app
+    return = arr . const
+
+-- | Embed a block of monadic code in an arrow.
+monadicA :: ArrowApply a => (b -> a () c) -> a b c
+monadicA f = arr (\v -> (f v, ())) >>> app
+
+-- | Embed an arrow in a block of monadic code.
+unmonadicA :: ArrowApply a => a b c -> b -> a () c
+unmonadicA a b = arr (const b) >>> a
+
+-- | Lift an Arrow operation.
+liftA :: ArrowApply a => (c -> d) -> a b c -> a b d
+liftA = flip (>>^)
+
+-- | Lift an Arrow operation with two parameters
+liftA2 :: ArrowApply a => (p1 -> p2 -> d) -> a b p1 -> a b p2 -> a b d
+liftA2 f a1 a2 = monadicA $ \v -> do
+  p1 <- unmonadicA a1 v
+  p2 <- unmonadicA a2 v
+  return (f p1 p2)
+
+-- | Lift an Arrow operation with three parameters
+liftA3 :: ArrowApply a => (p1 -> p2 -> p3 -> d) -> a b p1 -> a b p2 -> a b p3 -> a b d
+liftA3 f a1 a2 a3 = monadicA $ \v -> do
+  p1 <- unmonadicA a1 v
+  p2 <- unmonadicA a2 v
+  p3 <- unmonadicA a3 v
+  return (f p1 p2 p3)
+
+-- | Lift an Arrow operation with four parameters
+liftA4 :: ArrowApply a => (p1 -> p2 -> p3 -> p4 -> d) -> a b p1 -> a b p2 -> a b p3 -> a b p4 -> a b d
+liftA4 f a1 a2 a3 a4 = monadicA $ \v -> do
+  p1 <- unmonadicA a1 v
+  p2 <- unmonadicA a2 v
+  p3 <- unmonadicA a3 v
+  p4 <- unmonadicA a4 v
+  return (f p1 p2 p3 p4)
+
+-- | Lift an Arrow operation with five parameters
+liftA5 :: ArrowApply a => (p1 -> p2 -> p3 -> p4 -> p5 -> d) -> a b p1 -> a b p2 -> a b p3 -> a b p4 -> a b p5 -> a b d
+liftA5 f a1 a2 a3 a4 a5 = monadicA $ \v -> do
+  p1 <- unmonadicA a1 v
+  p2 <- unmonadicA a2 v
+  p3 <- unmonadicA a3 v
+  p4 <- unmonadicA a4 v
+  p5 <- unmonadicA a5 v
+  return (f p1 p2 p3 p4 p5)
+
+-- | Lift an Arrow operation with six parameters
+liftA6 :: ArrowApply a => (p1 -> p2 -> p3 -> p4 -> p5 -> p6 -> d) -> a b p1 -> a b p2 -> a b p3 -> a b p4 -> a b p5 -> a b p6 -> a b d
+liftA6 f a1 a2 a3 a4 a5 a6 = monadicA $ \v -> do
+  p1 <- unmonadicA a1 v
+  p2 <- unmonadicA a2 v
+  p3 <- unmonadicA a3 v
+  p4 <- unmonadicA a4 v
+  p5 <- unmonadicA a5 v
+  p6 <- unmonadicA a6 v  
+  return (f p1 p2 p3 p4 p5 p6)
+
+-- | Lift an Arrow operation with seven parameters
+liftA7 :: ArrowApply a => (p1 -> p2 -> p3 -> p4 -> p5 -> p6 -> p7 -> d) -> a b p1 -> a b p2 -> a b p3 -> a b p4 -> a b p5 -> a b p6 -> a b p7 -> a b d
+liftA7 f a1 a2 a3 a4 a5 a6 a7 = monadicA $ \v -> do
+  p1 <- unmonadicA a1 v
+  p2 <- unmonadicA a2 v
+  p3 <- unmonadicA a3 v
+  p4 <- unmonadicA a4 v
+  p5 <- unmonadicA a5 v
+  p6 <- unmonadicA a6 v
+  p7 <- unmonadicA a7 v
+  return (f p1 p2 p3 p4 p5 p6 p7)
+
+-- | Lift an Arrow operation with eight parameters
+liftA8 :: ArrowApply a => (p1 -> p2 -> p3 -> p4 -> p5 -> p6 -> p7 -> p8 -> d) -> a b p1 -> a b p2 -> a b p3 -> a b p4 -> a b p5 -> a b p6 -> a b p7 -> a b p8 -> a b d
+liftA8 f a1 a2 a3 a4 a5 a6 a7 a8 = monadicA $ \v -> do
+  p1 <- unmonadicA a1 v
+  p2 <- unmonadicA a2 v
+  p3 <- unmonadicA a3 v
+  p4 <- unmonadicA a4 v
+  p5 <- unmonadicA a5 v
+  p6 <- unmonadicA a6 v
+  p7 <- unmonadicA a7 v
+  p8 <- unmonadicA a8 v
+  return (f p1 p2 p3 p4 p5 p6 p7 p8)
+
+-- | Lift an Arrow operation with eight parameters
+liftA9 :: ArrowApply a => (p1 -> p2 -> p3 -> p4 -> p5 -> p6 -> p7 -> p8 -> p9 -> d) -> a b p1 -> a b p2 -> a b p3 -> a b p4 -> a b p5 -> a b p6 -> a b p7 -> a b p8 -> a b p9 -> a b d
+liftA9 f a1 a2 a3 a4 a5 a6 a7 a8 a9 = monadicA $ \v -> do
+  p1 <- unmonadicA a1 v
+  p2 <- unmonadicA a2 v
+  p3 <- unmonadicA a3 v
+  p4 <- unmonadicA a4 v
+  p5 <- unmonadicA a5 v
+  p6 <- unmonadicA a6 v
+  p7 <- unmonadicA a7 v
+  p8 <- unmonadicA a8 v
+  p9 <- unmonadicA a9 v
+  return (f p1 p2 p3 p4 p5 p6 p7 p8 p9)
diff --git a/LICENSE b/LICENSE
new file mode 100644
--- /dev/null
+++ b/LICENSE
@@ -0,0 +1,23 @@
+Copyright (c) 2012, The University of Auckland
+All rights reserved.
+
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions are met:
+
+1. Redistributions of source code must retain the above copyright notice,
+   this list of conditions and the following disclaimer.
+2. 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.
+
+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 OWNER 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/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/arrowapply-utils.cabal b/arrowapply-utils.cabal
new file mode 100644
--- /dev/null
+++ b/arrowapply-utils.cabal
@@ -0,0 +1,19 @@
+Name: arrowapply-utils
+Version: 0.1
+Cabal-Version: >= 1.6
+Build-Type: Simple
+License: BSD3
+License-File: LICENSE
+Author: Andrew Miller
+Copyright: (C) 2012 The University of Auckland
+Maintainer: ak.miller@auckland.ac.nz
+Stability: experimental
+Synopsis: Utilities for working with ArrowApply instances more naturally
+Description: This package provides useful utilities for making use of the opportunities the ArrowApply class provides, such as the ability to work with Arrows as Monads, and use liftM-like functions.
+Category: Control
+Source-Repository head
+    Type:     git
+    Location: https://github.com/A1kmm/cellml-testbed/
+Library
+    Exposed-Modules: Control.Arrow.ApplyUtils
+    Build-Depends: base >= 3 && <= 5