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,5 @@
+# leancheck-enum-instances
+
+This library provides orphan instances for several small enumeration types.
+These give the user fine-grained control of how many inhabitants a type
+has.
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/leancheck-enum-instances.cabal b/leancheck-enum-instances.cabal
new file mode 100644
--- /dev/null
+++ b/leancheck-enum-instances.cabal
@@ -0,0 +1,32 @@
+cabal-version: 2.0
+name: leancheck-enum-instances
+version: 0.1.0.0
+description:
+  Instances of the `Listable` typeclass for all of the types
+  in `enum-types`. These are orphan instances, so this should
+  only be used in test suites.
+homepage: https://github.com/andrewthad/leancheck-enum-instances
+bug-reports: https://github.com/andrewthad/leancheck-enum-instances/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: Testing
+synopsis: listable instances for small enum types
+
+source-repository head
+  type: git
+  location: https://github.com/andrewthad/quickcheck-enum-instances
+
+library
+  exposed-modules: Test.LeanCheck.Instances.Enum
+  hs-source-dirs: src
+  build-depends:
+      base >= 4.9.1.0 && < 5
+    , enum-types >= 0.1
+    , leancheck >= 0.7.7
+  default-language: Haskell2010
+
diff --git a/src/Test/LeanCheck/Instances/Enum.hs b/src/Test/LeanCheck/Instances/Enum.hs
new file mode 100644
--- /dev/null
+++ b/src/Test/LeanCheck/Instances/Enum.hs
@@ -0,0 +1,40 @@
+{-# language TypeApplications #-}
+
+module Test.LeanCheck.Instances.Enum () where
+
+import Data.Enum.Types
+import Test.LeanCheck (Listable(tiers),(\/),cons0)
+
+instance Listable A where
+  tiers = cons0 A0
+
+instance Listable B where
+  tiers = cons0 B0 \/ cons0 B1
+
+instance Listable C where
+  tiers = cons0 C0 \/ cons0 C1 \/ cons0 C2
+
+instance Listable D where
+  tiers = cons0 D0 \/ cons0 D1 \/ cons0 D2 \/ cons0 D3
+
+instance Listable E where
+  tiers = cons0 E0 \/ cons0 E1 \/ cons0 E2 \/ cons0 E3 \/ cons0 E4
+
+instance Listable F where
+  tiers = cons0 F0 \/ cons0 F1 \/ cons0 F2 \/ cons0 F3 \/ cons0 F4 \/ cons0 F5
+
+instance Listable G where
+  tiers = cons0 G0 \/ cons0 G1 \/ cons0 G2 \/ cons0 G3 \/ cons0 G4 \/ cons0 G5 \/ cons0 G6
+
+instance Listable H where
+  tiers = cons0 H0 \/ cons0 H1 \/ cons0 H2 \/ cons0 H3 \/ cons0 H4 \/ cons0 H5 \/ cons0 H6 \/ cons0 H7
+
+instance Listable I where
+  tiers = cons0 I0 \/ cons0 I1 \/ cons0 I2 \/ cons0 I3 \/ cons0 I4 \/ cons0 I5 \/ cons0 I6 \/ cons0 I7 \/ cons0 I8
+
+instance Listable J where
+  tiers = cons0 J0 \/ cons0 J1 \/ cons0 J2 \/ cons0 J3 \/ cons0 J4 \/ cons0 J5 \/ cons0 J6 \/ cons0 J7 \/ cons0 J8 \/ cons0 J9
+
+instance Listable K where
+  tiers = cons0 K0 \/ cons0 K1 \/ cons0 K2 \/ cons0 K3 \/ cons0 K4 \/ cons0 K5 \/ cons0 K6 \/ cons0 K7 \/ cons0 K8 \/ cons0 K9 \/ cons0 K10
+