diff --git a/LICENSE b/LICENSE
new file mode 100644
--- /dev/null
+++ b/LICENSE
@@ -0,0 +1,77 @@
+CSIRO Open Source Software License Agreement (variation of the BSD / MIT
+License)
+
+Copyright (c) 2016, Commonwealth Scientific and Industrial Research Organisation
+(CSIRO) ABN 41 687 119 230.
+
+All rights reserved. CSIRO is willing to grant you a license to this
+aemo-webservice on the following terms, except where otherwise indicated for
+third party material.
+
+Redistribution and use of this software 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 CSIRO nor the names of its contributors may be used to
+  endorse or promote products derived from this software without specific prior
+  written permission of CSIRO.
+
+EXCEPT AS EXPRESSLY STATED IN THIS AGREEMENT AND TO THE FULL EXTENT PERMITTED BY
+APPLICABLE LAW, THE SOFTWARE IS PROVIDED "AS-IS". CSIRO MAKES NO
+REPRESENTATIONS, WARRANTIES OR CONDITIONS OF ANY KIND, EXPRESS OR IMPLIED,
+INCLUDING BUT NOT LIMITED TO ANY REPRESENTATIONS, WARRANTIES OR CONDITIONS
+REGARDING THE CONTENTS OR ACCURACY OF THE SOFTWARE, OR OF TITLE,
+MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE, NON-INFRINGEMENT, THE ABSENCE
+OF LATENT OR OTHER DEFECTS, OR THE PRESENCE OR ABSENCE OF ERRORS, WHETHER OR NOT
+DISCOVERABLE.
+
+TO THE FULL EXTENT PERMITTED BY APPLICABLE LAW, IN NO EVENT SHALL CSIRO BE
+LIABLE ON ANY LEGAL THEORY (INCLUDING, WITHOUT LIMITATION, IN AN ACTION FOR
+BREACH OF CONTRACT, NEGLIGENCE OR OTHERWISE) FOR ANY CLAIM, LOSS, DAMAGES OR
+OTHER LIABILITY HOWSOEVER INCURRED.  WITHOUT LIMITING THE SCOPE OF THE PREVIOUS
+SENTENCE THE EXCLUSION OF LIABILITY SHALL INCLUDE: LOSS OF PRODUCTION OR
+OPERATION TIME, LOSS, DAMAGE OR CORRUPTION OF DATA OR RECORDS; OR LOSS OF
+ANTICIPATED SAVINGS, OPPORTUNITY, REVENUE, PROFIT OR GOODWILL, OR OTHER ECONOMIC
+LOSS; OR ANY SPECIAL, INCIDENTAL, INDIRECT, CONSEQUENTIAL, PUNITIVE OR EXEMPLARY
+DAMAGES, ARISING OUT OF OR IN CONNECTION WITH THIS AGREEMENT, ACCESS OF THE
+SOFTWARE OR ANY OTHER DEALINGS WITH THE SOFTWARE, EVEN IF CSIRO HAS BEEN ADVISED
+OF THE POSSIBILITY OF SUCH CLAIM, LOSS, DAMAGES OR OTHER LIABILITY.
+
+APPLICABLE LEGISLATION SUCH AS THE AUSTRALIAN CONSUMER LAW MAY APPLY
+REPRESENTATIONS, WARRANTIES, OR CONDITIONS, OR IMPOSES OBLIGATIONS OR LIABILITY
+ON CSIRO THAT CANNOT BE EXCLUDED, RESTRICTED OR MODIFIED TO THE FULL EXTENT SET
+OUT IN THE EXPRESS TERMS OF THIS CLAUSE ABOVE "CONSUMER GUARANTEES".  TO THE
+EXTENT THAT SUCH CONSUMER GUARANTEES CONTINUE TO APPLY, THEN TO THE FULL EXTENT
+PERMITTED BY THE APPLICABLE LEGISLATION, THE LIABILITY OF CSIRO UNDER THE
+RELEVANT CONSUMER GUARANTEE IS LIMITED (WHERE PERMITTED AT CSIRO'S OPTION) TO
+ONE OF FOLLOWING REMEDIES OR SUBSTANTIALLY EQUIVALENT REMEDIES:
+
+(a)               THE REPLACEMENT OF THE SOFTWARE, THE SUPPLY OF EQUIVALENT
+                  SOFTWARE, OR SUPPLYING RELEVANT SERVICES AGAIN;
+(b)               THE REPAIR OF THE SOFTWARE;
+(c)               THE PAYMENT OF THE COST OF REPLACING THE
+                  SOFTWARE, OF ACQUIRING EQUIVALENT SOFTWARE, HAVING THE
+                  RELEVANT SERVICES SUPPLIED AGAIN, OR HAVING THE SOFTWARE
+                  REPAIRED.
+
+IN THIS CLAUSE, CSIRO INCLUDES ANY THIRD PARTY AUTHOR OR OWNER OF ANY PART OF
+THE SOFTWARE OR MATERIAL DISTRIBUTED WITH IT.  CSIRO MAY ENFORCE ANY RIGHTS ON
+BEHALF OF THE RELEVANT THIRD PARTY.
+
+Third Party Components
+
+The following third party components are distributed with the Software.  You
+agree to comply with the license terms for these components as part of accessing
+the Software.  Other third party software may also be identified in separate
+files distributed with the Software.
+
+___________________________________________________________________
+
+___________________________________________________________________
diff --git a/Setup.lhs b/Setup.lhs
new file mode 100644
--- /dev/null
+++ b/Setup.lhs
@@ -0,0 +1,44 @@
+#!/usr/bin/env runhaskell
+\begin{code}
+{-# OPTIONS_GHC -Wall #-}
+module Main (main) where
+
+import Data.List ( nub )
+import Data.Version ( showVersion )
+import Distribution.Package ( PackageName(PackageName), PackageId, InstalledPackageId, packageVersion, packageName )
+import Distribution.PackageDescription ( PackageDescription(), TestSuite(..) )
+import Distribution.Simple ( defaultMainWithHooks, UserHooks(..), simpleUserHooks )
+import Distribution.Simple.Utils ( rewriteFile, createDirectoryIfMissingVerbose )
+import Distribution.Simple.BuildPaths ( autogenModulesDir )
+import Distribution.Simple.Setup ( BuildFlags(buildVerbosity), fromFlag )
+import Distribution.Simple.LocalBuildInfo ( withLibLBI, withTestLBI, LocalBuildInfo(), ComponentLocalBuildInfo(componentPackageDeps) )
+import Distribution.Verbosity ( Verbosity )
+import System.FilePath ( (</>) )
+
+main :: IO ()
+main = defaultMainWithHooks simpleUserHooks
+  { buildHook = \pkg lbi hooks flags -> do
+     generateBuildModule (fromFlag (buildVerbosity flags)) pkg lbi
+     buildHook simpleUserHooks pkg lbi hooks flags
+  }
+
+generateBuildModule :: Verbosity -> PackageDescription -> LocalBuildInfo -> IO ()
+generateBuildModule verbosity pkg lbi = do
+  let dir = autogenModulesDir lbi
+  createDirectoryIfMissingVerbose verbosity True dir
+  withLibLBI pkg lbi $ \_ libcfg -> do
+    withTestLBI pkg lbi $ \suite suitecfg -> do
+      rewriteFile (dir </> "Build_" ++ testName suite ++ ".hs") $ unlines
+        [ "module Build_" ++ testName suite ++ " where"
+        , "deps :: [String]"
+        , "deps = " ++ (show $ formatdeps (testDeps libcfg suitecfg))
+        ]
+  where
+    formatdeps = map (formatone . snd)
+    formatone p = case packageName p of
+      PackageName n -> n ++ "-" ++ showVersion (packageVersion p)
+
+testDeps :: ComponentLocalBuildInfo -> ComponentLocalBuildInfo -> [(InstalledPackageId, PackageId)]
+testDeps xs ys = nub $ componentPackageDeps xs ++ componentPackageDeps ys
+
+\end{code}
diff --git a/changelog b/changelog
new file mode 100644
--- /dev/null
+++ b/changelog
@@ -0,0 +1,4 @@
+0.1.0
+
+* Reorganisation of all `papa` packages.
+* Initial release.
diff --git a/papa-base.cabal b/papa-base.cabal
new file mode 100644
--- /dev/null
+++ b/papa-base.cabal
@@ -0,0 +1,73 @@
+name:               papa-base
+version:            0.1.0
+license:            BSD3
+license-file:       LICENSE
+author:             Tony Morris <ʇǝu˙sıɹɹoɯʇ@ןןǝʞsɐɥ>
+maintainer:         Tony Morris
+copyright:          Copyright (c) 2016, Commonwealth Scientific and Industrial Research Organisation (CSIRO) ABN 41 687 119 230.
+synopsis:           Prelude with only useful functions
+category:           Prelude
+description:        Prelude with only useful functions
+homepage:           https://github.com/data61/papa-base
+bug-reports:        https://github.com/data61/papa-base/issues
+cabal-version:      >= 1.10
+build-type:         Custom
+extra-source-files: changelog
+
+source-repository   head
+  type:             git
+  location:         git@github.com:data61/papa-base.git
+
+flag                small_base
+  description:      Choose the new, split-up base package.
+
+library
+  default-language:
+                    Haskell2010
+
+  build-depends:
+                    base >= 4.8 && < 5
+                    
+  ghc-options:
+                    -Wall
+
+  default-extensions:
+                    NoImplicitPrelude
+
+  hs-source-dirs:
+                    src
+
+  exposed-modules:
+                    Papa.Base
+                    Papa.Control.Applicative
+                    Papa.Control.Category
+                    Papa.Data.Foldable
+                    Papa.Data.Functor
+                    Papa.Data.List
+                    Papa.Data.Monoid
+                    Papa.Data.Traversable
+                    
+test-suite doctests
+  type:
+                    exitcode-stdio-1.0
+
+  main-is:
+                    doctests.hs
+
+  default-language:
+                    Haskell2010
+
+  build-depends:
+                    base < 5 && >= 3
+                    , doctest >= 0.9.7
+                    , filepath >= 1.3
+                    , directory >= 1.1
+                    , QuickCheck >= 2.0
+                    , template-haskell >= 2.8
+
+  ghc-options:
+                    -Wall
+                    -threaded
+
+  hs-source-dirs:
+                    test
diff --git a/src/Papa/Base.hs b/src/Papa/Base.hs
new file mode 100644
--- /dev/null
+++ b/src/Papa/Base.hs
@@ -0,0 +1,13 @@
+{-# LANGUAGE NoImplicitPrelude #-}
+
+module Papa.Base(
+  module P
+) where
+
+import Papa.Control.Applicative as P
+import Papa.Control.Category as P
+import Papa.Data.Foldable as P
+import Papa.Data.Functor as P
+import Papa.Data.List as P
+import Papa.Data.Monoid as P
+import Papa.Data.Traversable as P
diff --git a/src/Papa/Control/Applicative.hs b/src/Papa/Control/Applicative.hs
new file mode 100644
--- /dev/null
+++ b/src/Papa/Control/Applicative.hs
@@ -0,0 +1,23 @@
+{-# LANGUAGE NoImplicitPrelude #-}
+
+module Papa.Control.Applicative(
+  const
+, return
+) where
+
+import Control.Applicative(Applicative(pure))
+
+const ::
+  Applicative f =>
+  a
+  -> f a
+const =
+  pure
+
+return ::
+  Applicative f =>
+  a
+  -> f a
+return =
+  pure
+
diff --git a/src/Papa/Control/Category.hs b/src/Papa/Control/Category.hs
new file mode 100644
--- /dev/null
+++ b/src/Papa/Control/Category.hs
@@ -0,0 +1,14 @@
+{-# LANGUAGE NoImplicitPrelude #-}
+
+module Papa.Control.Category(
+  id
+) where
+
+import Control.Category(Category)
+import qualified Control.Category as Category(id)
+
+id ::
+  Category cat =>
+  cat a a
+id =
+  Category.id
diff --git a/src/Papa/Data/Foldable.hs b/src/Papa/Data/Foldable.hs
new file mode 100644
--- /dev/null
+++ b/src/Papa/Data/Foldable.hs
@@ -0,0 +1,24 @@
+{-# LANGUAGE NoImplicitPrelude #-}
+
+module Papa.Data.Foldable(
+  mapM_
+, sequence_
+) where
+
+import Control.Applicative(Applicative)
+import Data.Foldable(Foldable, traverse_, sequenceA_)
+
+mapM_ ::
+  (Foldable t, Applicative f) =>
+  (a -> f b)
+  -> t a
+  -> f ()
+mapM_ =
+  traverse_
+  
+sequence_ ::
+  (Foldable t, Applicative f) =>
+  t (f a)
+  -> f ()
+sequence_ =
+  sequenceA_
diff --git a/src/Papa/Data/Functor.hs b/src/Papa/Data/Functor.hs
new file mode 100644
--- /dev/null
+++ b/src/Papa/Data/Functor.hs
@@ -0,0 +1,32 @@
+{-# LANGUAGE NoImplicitPrelude #-}
+
+module Papa.Data.Functor(
+  map
+, flip
+, unzip
+) where
+
+import Data.Functor(Functor(fmap), (<$>))
+
+map ::
+  Functor f =>
+  (a -> b)
+  -> f a
+  -> f b
+map =
+  fmap
+
+flip ::
+  Functor f =>
+  f (a -> b)
+  -> a
+  -> f b
+flip f a =
+  (\k -> k a) <$> f
+
+unzip ::
+  Functor f =>
+  f (a, b)
+  -> (f a, f b)
+unzip x =
+  ((\(a, _) -> a) <$> x, (\(_, b) -> b) <$> x)
diff --git a/src/Papa/Data/List.hs b/src/Papa/Data/List.hs
new file mode 100644
--- /dev/null
+++ b/src/Papa/Data/List.hs
@@ -0,0 +1,30 @@
+{-# LANGUAGE NoImplicitPrelude #-}
+
+module Papa.Data.List(
+  reverse
+, lookup
+) where
+
+import Data.Eq(Eq((==)))
+import Data.Maybe(Maybe(Nothing, Just))
+import Control.Applicative((<|>))
+import Data.Foldable(Foldable(foldr))
+import qualified Data.List as List(reverse)
+
+reverse ::
+  [a]
+  -> [a]
+reverse x =
+  let go (_:xs) ~(y:ys) =
+        y : go xs ys
+      go [] ~[] =
+        []
+  in go x (List.reverse x)
+
+lookup ::
+  (Eq a, Foldable f) =>
+  a
+  -> f (a, b)
+  -> Maybe b
+lookup a =
+  foldr (\(x, y) b -> b <|> if x == a then Just y else Nothing) Nothing
diff --git a/src/Papa/Data/Monoid.hs b/src/Papa/Data/Monoid.hs
new file mode 100644
--- /dev/null
+++ b/src/Papa/Data/Monoid.hs
@@ -0,0 +1,15 @@
+{-# LANGUAGE NoImplicitPrelude #-}
+
+module Papa.Data.Monoid(
+  mconcat  
+) where
+
+import Data.Foldable(Foldable, fold)
+import Data.Monoid(Monoid)
+
+mconcat ::
+  (Monoid a, Foldable f) =>
+  f a
+  -> a
+mconcat =
+  fold
diff --git a/src/Papa/Data/Traversable.hs b/src/Papa/Data/Traversable.hs
new file mode 100644
--- /dev/null
+++ b/src/Papa/Data/Traversable.hs
@@ -0,0 +1,24 @@
+{-# LANGUAGE NoImplicitPrelude #-}
+
+module Papa.Data.Traversable(
+  mapM
+, sequence
+) where
+
+import Control.Applicative(Applicative)
+import Data.Traversable(Traversable(traverse, sequenceA))
+
+mapM ::
+  (Traversable t, Applicative f) =>
+  (a -> f b)
+  -> t a
+  -> f (t b)
+mapM =
+  traverse
+  
+sequence ::
+  (Traversable t, Applicative f) =>
+  t (f a)
+  -> f (t a)
+sequence =
+  sequenceA
diff --git a/test/doctests.hs b/test/doctests.hs
new file mode 100644
--- /dev/null
+++ b/test/doctests.hs
@@ -0,0 +1,32 @@
+module Main where
+
+import Build_doctests (deps)
+import Control.Applicative
+import Control.Monad
+import Data.List
+import System.Directory
+import System.FilePath
+import Test.DocTest
+
+main ::
+  IO ()
+main =
+  getSources >>= \sources -> doctest $
+      "-isrc"
+    : "-idist/build/autogen"
+    : "-optP-include"
+    : "-optPdist/build/autogen/cabal_macros.h"
+    : "-hide-all-packages"
+    : map ("-package="++) deps ++ sources
+
+getSources :: IO [FilePath]
+getSources = filter (isSuffixOf ".hs") <$> go "src"
+  where
+    go dir = do
+      (dirs, files) <- getFilesAndDirectories dir
+      (files ++) . concat <$> mapM go dirs
+
+getFilesAndDirectories :: FilePath -> IO ([FilePath], [FilePath])
+getFilesAndDirectories dir = do
+  c <- map (dir </>) . filter (`notElem` ["..", "."]) <$> getDirectoryContents dir
+  (,) <$> filterM doesDirectoryExist c <*> filterM doesFileExist c