diff --git a/Data/Constraint/Forall.hs b/Data/Constraint/Forall.hs
--- a/Data/Constraint/Forall.hs
+++ b/Data/Constraint/Forall.hs
@@ -36,6 +36,7 @@
 data M a
 type Forall1 (p :: (* -> *) -> Constraint) = (p F, p M)
 
+
 -- | instantiate a quantified constraint on kind @*@
 inst :: forall p a. Forall p :- p a
 inst = trans (unsafeCoerceConstraint :: p A :- p a) weaken1
@@ -43,3 +44,5 @@
 -- | 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/constraints.cabal b/constraints.cabal
--- a/constraints.cabal
+++ b/constraints.cabal
@@ -1,6 +1,6 @@
 name:          constraints
 category:      Constraints
-version:       0.3
+version:       0.3.0.1
 license:       BSD3
 cabal-version: >= 1.10
 license-file:  LICENSE
@@ -8,6 +8,7 @@
 maintainer:    Edward A. Kmett <ekmett@gmail.com>
 stability:     experimental
 homepage:      http://github.com/ekmett/constraints/
+bug-reports:   http://github.com/ekmett/constraints/issues
 copyright:     Copyright (C) 2011 Edward A. Kmett
 synopsis:      Constraint manipulation
 description:   Constraint manipulation