diff --git a/changelog.md b/changelog.md
--- a/changelog.md
+++ b/changelog.md
@@ -2,6 +2,12 @@
 ============================
 
 
+v0.2.8
+------
+
+* export the `A`, `B`, `C`, `D`, `E` and `F` helper types
+
+
 v0.2.6
 ------
 
diff --git a/code-conjure.cabal b/code-conjure.cabal
--- a/code-conjure.cabal
+++ b/code-conjure.cabal
@@ -3,7 +3,7 @@
 -- Copyright (C) 2021 Rudy Matela
 -- Distributed under the 3-Clause BSD licence (see the file LICENSE).
 name:                code-conjure
-version:             0.2.6
+version:             0.2.8
 synopsis:            conjure Haskell functions out of partial definitions
 description:
   Conjure is a tool that produces Haskell functions out of partial definitions.
@@ -65,7 +65,7 @@
 source-repository this
   type:            git
   location:        https://github.com/rudymatela/conjure
-  tag:             v0.2.6
+  tag:             v0.2.8
 
 library
   exposed-modules: Conjure
@@ -76,7 +76,7 @@
                  , Conjure.Utils
   other-extensions: TemplateHaskell, CPP
   build-depends: base >= 4 && < 5
-               , leancheck >= 0.9.4
+               , leancheck >= 0.9.6
                , template-haskell
                , speculate >= 0.4.6
                , express >= 0.1.10
diff --git a/src/Conjure.hs b/src/Conjure.hs
--- a/src/Conjure.hs
+++ b/src/Conjure.hs
@@ -72,6 +72,9 @@
 -- * Pure interfaces
   , conjpure
   , conjpureWith
+
+-- * Helper test types
+  , A, B, C, D, E, F
   )
 where
 
diff --git a/src/Conjure/Conjurable.hs b/src/Conjure/Conjurable.hs
--- a/src/Conjure/Conjurable.hs
+++ b/src/Conjure/Conjurable.hs
@@ -10,6 +10,7 @@
 -- and utilities involving it.
 --
 -- You are probably better off importing "Conjure".
+{-# Language DeriveDataTypeable, StandaloneDeriving #-} -- for GHC < 7.10
 module Conjure.Conjurable
   ( Reification1
   , Reification
@@ -24,6 +25,7 @@
   , conjureTiersFor
   , conjureAreEqual
   , conjureMkEquation
+  , A, B, C, D, E, F
   )
 where
 
@@ -382,6 +384,39 @@
   conjureEquality  =  reifyEquality
   conjureTiers     =  reifyTiers
   conjureSubTypes x  =  conjureType (realPart x)
+
+
+-- Conjurable helper types --
+instance Conjurable A where
+  conjureEquality  =  reifyEquality
+  conjureTiers     =  reifyTiers
+
+instance Conjurable B where
+  conjureEquality  =  reifyEquality
+  conjureTiers     =  reifyTiers
+
+instance Conjurable C where
+  conjureEquality  =  reifyEquality
+  conjureTiers     =  reifyTiers
+
+instance Conjurable D where
+  conjureEquality  =  reifyEquality
+  conjureTiers     =  reifyTiers
+
+instance Conjurable E where
+  conjureEquality  =  reifyEquality
+  conjureTiers     =  reifyTiers
+
+instance Conjurable F where
+  conjureEquality  =  reifyEquality
+  conjureTiers     =  reifyTiers
+
+deriving instance Typeable A -- for GHC < 7.10
+deriving instance Typeable B -- for GHC < 7.10
+deriving instance Typeable C -- for GHC < 7.10
+deriving instance Typeable D -- for GHC < 7.10
+deriving instance Typeable E -- for GHC < 7.10
+deriving instance Typeable F -- for GHC < 7.10
 
 
 -- Conjurable tuples --
diff --git a/stack.yaml b/stack.yaml
--- a/stack.yaml
+++ b/stack.yaml
@@ -9,6 +9,6 @@
 - .
 
 extra-deps:
-- leancheck-0.9.4
+- leancheck-0.9.6
 - speculate-0.4.6
-- express-0.1.8
+- express-0.1.10