diff --git a/Data/Patch.hs b/Data/Patch.hs
--- a/Data/Patch.hs
+++ b/Data/Patch.hs
@@ -180,10 +180,19 @@
 tFloat :: Patch Float Float
 tFloat = id
 
+tDouble :: Patch Double Double
+tDouble = id
+
 tComplex :: Patch a a -> Patch (Complex a) (Complex a)
 tComplex _ = id
 
 -- | Type constructor
+--
+-- Example use:
+--
+-- > Data.Patch> let Just a = read "Just 6" -:: tCon tFloat
+-- > Data.Patch> a
+-- > 6.0
 tCon :: Patch a a -> Patch (c a) (c a)
 tCon _ = id
 
diff --git a/LICENSE b/LICENSE
--- a/LICENSE
+++ b/LICENSE
@@ -1,4 +1,4 @@
-Copyright (c)2012, Koen Claessen, Emil Axelsson
+Copyright (c) 2012-2013, Koen Claessen, Emil Axelsson
 
 All rights reserved.
 
diff --git a/patch-combinators.cabal b/patch-combinators.cabal
--- a/patch-combinators.cabal
+++ b/patch-combinators.cabal
@@ -1,5 +1,5 @@
 Name:               patch-combinators
-Version:            0.1
+Version:            0.2
 Synopsis:           A library for patching functions and data structures
 Description:        A library for patching functions and data structures
 -- Homepage: