diff --git a/CHANGELOG.md b/CHANGELOG.md
new file mode 100644
--- /dev/null
+++ b/CHANGELOG.md
@@ -0,0 +1,4 @@
+# 0.1 to 0.2
+
+# 0.1.0 to 0.1.1
+- Upgraded to GHC8, base 4.9
diff --git a/LICENSE b/LICENSE
new file mode 100644
--- /dev/null
+++ b/LICENSE
@@ -0,0 +1,20 @@
+Copyright (c) 2017 Uber Technologies, Inc.
+
+Permission is hereby granted, free of charge, to any person obtaining
+a copy of this software and associated documentation files (the
+"Software"), to deal in the Software without restriction, including
+without limitation the rights to use, copy, modify, merge, publish,
+distribute, sublicense, and/or sell copies of the Software, and to
+permit persons to whom the Software is furnished to do so, subject to
+the following conditions:
+
+The above copyright notice and this permission notice shall be included
+in all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
+IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY
+CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
+TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
+SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
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/predicate-class.cabal b/predicate-class.cabal
new file mode 100644
--- /dev/null
+++ b/predicate-class.cabal
@@ -0,0 +1,24 @@
+name:                predicate-class
+version:             0.1.0.1
+synopsis:            Helper class for passing context along a predicate value
+description:
+            Helper class for passing context along a predicate value
+            Used as a helper in queryparser
+license:             MIT
+license-file:        LICENSE
+author:              David Thomas
+maintainer:          heli@uber.com
+-- copyright:
+category:            Data
+build-type:          Simple
+extra-source-files:
+                     CHANGELOG.md
+cabal-version:       >=1.10
+
+library
+  exposed-modules:     Data.Predicate.Class
+  -- other-modules:
+  -- other-extensions:
+  build-depends:       base >=4.9 && <4.11
+  hs-source-dirs:      src
+  default-language:    Haskell98
diff --git a/src/Data/Predicate/Class.hs b/src/Data/Predicate/Class.hs
new file mode 100644
--- /dev/null
+++ b/src/Data/Predicate/Class.hs
@@ -0,0 +1,42 @@
+-- Copyright (c) 2017 Uber Technologies, Inc.
+--
+-- Permission is hereby granted, free of charge, to any person obtaining a copy
+-- of this software and associated documentation files (the "Software"), to deal
+-- in the Software without restriction, including without limitation the rights
+-- to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+-- copies of the Software, and to permit persons to whom the Software is
+-- furnished to do so, subject to the following conditions:
+--
+-- The above copyright notice and this permission notice shall be included in
+-- all copies or substantial portions of the Software.
+--
+-- THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+-- IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+-- FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+-- AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+-- LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+-- OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+-- THE SOFTWARE.
+
+module Data.Predicate.Class where
+import Prelude hiding ((&&), (||), not)
+import qualified Prelude
+class Predicate p where
+  infixr 3 &&
+  (&&) :: p -> p -> p
+
+  infixr 3 ||
+  (||) :: p -> p -> p
+
+  not :: p -> p
+
+instance Predicate Bool where
+  (&&) = (Prelude.&&)
+  (||) = (Prelude.||)
+  not = Prelude.not
+
+instance (Predicate p) => Predicate (a -> p) where
+  p && q = \ a -> p a && q a
+  p || q = \ a -> p a || q a
+  not p = not . p
+