diff --git a/Data/Constraint/Forall.hs b/Data/Constraint/Forall.hs
--- a/Data/Constraint/Forall.hs
+++ b/Data/Constraint/Forall.hs
@@ -20,6 +20,7 @@
 
 module Data.Constraint.Forall
   ( Forall, inst
+  , ForallF, instF
   , Forall1, inst1
   ) where
 
@@ -32,6 +33,8 @@
 -- | A quantified constraint
 type Forall (p :: * -> Constraint) = (p A, p B)
 
+type ForallF (p :: * -> Constraint) (f :: * -> *) = (p (f A), p (f B))
+
 data F a
 data M a
 type Forall1 (p :: (* -> *) -> Constraint) = (p F, p M)
@@ -41,8 +44,10 @@
 inst :: forall p a. Forall p :- p a
 inst = trans (unsafeCoerceConstraint :: p A :- p a) weaken1
 
+instF :: forall p f a. ForallF p f :- p (f a)
+instF = trans (unsafeCoerceConstraint :: p (f A) :- p (f a)) weaken1
+
 -- | instantiate a quantified constraint on kind @* -> *@
 inst1 :: forall (p :: (* -> *) -> Constraint) (f :: * -> *). Forall1 p :- p f
 inst1 = trans (unsafeCoerceConstraint :: p F :- p f) weaken1
 
--- class Forall p where instantiate :: Dict (p a)
diff --git a/README.markdown b/README.markdown
new file mode 100644
--- /dev/null
+++ b/README.markdown
@@ -0,0 +1,13 @@
+constraints
+===========
+
+This package provides data types and classes for manipulating the 'ConstraintKinds' exposed by GHC in 7.4.
+
+Contact Information
+-------------------
+
+Contributions and bug reports are welcome!
+
+Please feel free to contact me through github or on the #haskell IRC channel on irc.freenode.net.
+
+-Edward Kmett
diff --git a/constraints.cabal b/constraints.cabal
--- a/constraints.cabal
+++ b/constraints.cabal
@@ -1,6 +1,6 @@
 name:          constraints
 category:      Constraints
-version:       0.3.0.1
+version:       0.3.1
 license:       BSD3
 cabal-version: >= 1.10
 license-file:  LICENSE
@@ -13,6 +13,7 @@
 synopsis:      Constraint manipulation
 description:   Constraint manipulation
 build-type:    Simple
+extra-source-files: README.markdown
 
 source-repository head
   type: git
@@ -32,7 +33,7 @@
     Rank2Types,
     GADTs
 
-  build-depends: 
+  build-depends:
     base >= 4.4 && < 5,
     newtype >= 0.2 && < 0.3,
     ghc-prim