diff --git a/LICENSE b/LICENSE
new file mode 100644
--- /dev/null
+++ b/LICENSE
@@ -0,0 +1,30 @@
+Copyright Andrew Martin (c) 2018
+
+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 Andrew Martin 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
+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/README.md b/README.md
new file mode 100644
--- /dev/null
+++ b/README.md
@@ -0,0 +1,4 @@
+# quickcheck-enum
+
+This library provides several enumeration types that are intended
+to be used in `QuickCheck` properties.
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/enum-types.cabal b/enum-types.cabal
new file mode 100644
--- /dev/null
+++ b/enum-types.cabal
@@ -0,0 +1,37 @@
+cabal-version: 2.0
+name: enum-types
+version: 0.1.0.0
+description:
+  This library provides small enumeration types intended to be
+  used in test suites. This is most useful when used with a companion
+  package that provides orphan instances:
+  .
+  * quickcheck-enum-instances
+  .
+  * leancheck-enum-instances
+  .
+  The value these types provide is that they allow the user to
+  be selective about the number of inhabitants a tested type should
+  have.
+homepage: https://github.com/andrewthad/quickcheck-enum
+bug-reports: https://github.com/andrewthad/quickcheck-enum/issues
+author: Andrew Martin
+maintainer: andrew.thaddeus@gmail.com
+copyright: 2018 Andrew Martin
+license: BSD3
+license-file: LICENSE
+build-type: Simple
+extra-source-files: README.md
+category: Data
+synopsis: small enum types
+
+source-repository head
+  type: git
+  location: https://github.com/andrewthad/quickcheck-enum
+
+library
+  exposed-modules: Data.Enum.Types
+  hs-source-dirs: src
+  build-depends: base >= 4.9.1.0 && < 5
+  default-language: Haskell2010
+
diff --git a/src/Data/Enum/Types.hs b/src/Data/Enum/Types.hs
new file mode 100644
--- /dev/null
+++ b/src/Data/Enum/Types.hs
@@ -0,0 +1,47 @@
+module Data.Enum.Types
+  ( A(..)
+  , B(..)
+  , C(..)
+  , D(..)
+  , E(..)
+  , F(..)
+  , G(..)
+  , H(..)
+  , I(..)
+  , J(..)
+  , K(..)
+  ) where
+
+data A = A0
+  deriving (Eq,Ord,Show,Read,Bounded,Enum)
+
+data B = B0 | B1
+  deriving (Eq,Ord,Show,Read,Bounded,Enum)
+
+data C = C0 | C1 | C2
+  deriving (Eq,Ord,Show,Read,Bounded,Enum)
+
+data D = D0 | D1 | D2 | D3
+  deriving (Eq,Ord,Show,Read,Bounded,Enum)
+
+data E = E0 | E1 | E2 | E3 | E4
+  deriving (Eq,Ord,Show,Read,Bounded,Enum)
+
+data F = F0 | F1 | F2 | F3 | F4 | F5
+  deriving (Eq,Ord,Show,Read,Bounded,Enum)
+
+data G = G0 | G1 | G2 | G3 | G4 | G5 | G6
+  deriving (Eq,Ord,Show,Read,Bounded,Enum)
+
+data H = H0 | H1 | H2 | H3 | H4 | H5 | H6 | H7
+  deriving (Eq,Ord,Show,Read,Bounded,Enum)
+
+data I = I0 | I1 | I2 | I3 | I4 | I5 | I6 | I7 | I8
+  deriving (Eq,Ord,Show,Read,Bounded,Enum)
+
+data J = J0 | J1 | J2 | J3 | J4 | J5 | J6 | J7 | J8 | J9
+  deriving (Eq,Ord,Show,Read,Bounded,Enum)
+
+data K = K0 | K1 | K2 | K3 | K4 | K5 | K6 | K7 | K8 | K9 | K10
+  deriving (Eq,Ord,Show,Read,Bounded,Enum)
+