diff --git a/src/Data/Constraint/Trivial.hs b/src/Data/Constraint/Trivial.hs
--- a/src/Data/Constraint/Trivial.hs
+++ b/src/Data/Constraint/Trivial.hs
@@ -11,7 +11,7 @@
 -- | Intended to be used as an argument for some type constructor which expects kind
 --   @* -> Constraint@, when you do not actually wish to constrain anything with it.
 --   
---   @'Trivial' t@ can always be added to the constraint list of any signature, without
+--   @'Unconstrained' t@ can always be added to the constraint list of any signature, without
 --   changing anything.
-class Trivial t
-instance Trivial t
+class Unconstrained t
+instance Unconstrained t
diff --git a/trivial-constraint.cabal b/trivial-constraint.cabal
--- a/trivial-constraint.cabal
+++ b/trivial-constraint.cabal
@@ -2,7 +2,7 @@
 -- documentation, see http://haskell.org/cabal/users-guide/
 
 name:                trivial-constraint
-version:             0.1.0.0
+version:             0.2.0.0
 synopsis:            A class / constraint that any type fulfills
 description:         Since GHC 7.4, constraints are first-class: we have the constraint kind, and thus type-classes have a kind such as @* -> Constraint@.
                      .