diff --git a/GI/Cairo.hs b/GI/Cairo.hs
--- a/GI/Cairo.hs
+++ b/GI/Cairo.hs
@@ -1,4 +1,5 @@
 
+
 {- |
 Copyright  : Will Thompson, Iñaki García Etxebarria and Jonas Platte
 License    : LGPL-2.1
@@ -12,6 +13,10 @@
     module GI.Cairo.Structs                 ,
 
 
+
+    module Data.GI.Base                     ,
+
+
     ) where
 
 import GI.Cairo.Callbacks
@@ -29,4 +34,5 @@
 import GI.Cairo.Types
 import GI.Cairo.Callbacks
 
+import Data.GI.Base
 
diff --git a/GI/Cairo/Callbacks.hs b/GI/Cairo/Callbacks.hs
--- a/GI/Cairo/Callbacks.hs
+++ b/GI/Cairo/Callbacks.hs
@@ -1,4 +1,5 @@
 
+
 {- |
 Copyright  : Will Thompson, Iñaki García Etxebarria and Jonas Platte
 License    : LGPL-2.1
diff --git a/GI/Cairo/Enums.hs b/GI/Cairo/Enums.hs
--- a/GI/Cairo/Enums.hs
+++ b/GI/Cairo/Enums.hs
@@ -1,4 +1,5 @@
 
+
 {- |
 Copyright  : Will Thompson, Iñaki García Etxebarria and Jonas Platte
 License    : LGPL-2.1
diff --git a/GI/Cairo/Functions.hs b/GI/Cairo/Functions.hs
--- a/GI/Cairo/Functions.hs
+++ b/GI/Cairo/Functions.hs
@@ -1,4 +1,5 @@
 
+
 {- |
 Copyright  : Will Thompson, Iñaki García Etxebarria and Jonas Platte
 License    : LGPL-2.1
@@ -30,7 +31,6 @@
 -- function cairo_image_surface_create
 -- Args : []
 -- Lengths : []
--- hInArgs : []
 -- returnType : TBasicType TVoid
 -- throws : False
 -- Skip return : False
@@ -41,7 +41,7 @@
 
 imageSurfaceCreate ::
     (MonadIO m) =>
-    m ()
+    m ()                                    -- result
 imageSurfaceCreate  = liftIO $ do
     cairo_image_surface_create
     return ()
diff --git a/GI/Cairo/Structs.hs b/GI/Cairo/Structs.hs
--- a/GI/Cairo/Structs.hs
+++ b/GI/Cairo/Structs.hs
@@ -1,4 +1,5 @@
 
+
 {- |
 Copyright  : Will Thompson, Iñaki García Etxebarria and Jonas Platte
 License    : LGPL-2.1
diff --git a/GI/Cairo/Structs/Context.hs b/GI/Cairo/Structs/Context.hs
--- a/GI/Cairo/Structs/Context.hs
+++ b/GI/Cairo/Structs/Context.hs
@@ -1,4 +1,5 @@
 
+
 {- |
 Copyright  : Will Thompson, Iñaki García Etxebarria and Jonas Platte
 License    : LGPL-2.1
@@ -34,5 +35,16 @@
 
 noContext :: Maybe Context
 noContext = Nothing
+
+type family ResolveContextMethod (t :: Symbol) (o :: *) :: * where
+    ResolveContextMethod l o = MethodResolutionFailed l o
+
+instance (info ~ ResolveContextMethod t Context, MethodInfo info Context p) => IsLabelProxy t (Context -> p) where
+    fromLabelProxy _ = overloadedMethod (MethodProxy :: MethodProxy info)
+
+#if MIN_VERSION_base(4,9,0)
+instance (info ~ ResolveContextMethod t Context, MethodInfo info Context p) => IsLabel t (Context -> p) where
+    fromLabel _ = overloadedMethod (MethodProxy :: MethodProxy info)
+#endif
 
 
diff --git a/GI/Cairo/Structs/FontFace.hs b/GI/Cairo/Structs/FontFace.hs
--- a/GI/Cairo/Structs/FontFace.hs
+++ b/GI/Cairo/Structs/FontFace.hs
@@ -1,4 +1,5 @@
 
+
 {- |
 Copyright  : Will Thompson, Iñaki García Etxebarria and Jonas Platte
 License    : LGPL-2.1
@@ -34,5 +35,16 @@
 
 noFontFace :: Maybe FontFace
 noFontFace = Nothing
+
+type family ResolveFontFaceMethod (t :: Symbol) (o :: *) :: * where
+    ResolveFontFaceMethod l o = MethodResolutionFailed l o
+
+instance (info ~ ResolveFontFaceMethod t FontFace, MethodInfo info FontFace p) => IsLabelProxy t (FontFace -> p) where
+    fromLabelProxy _ = overloadedMethod (MethodProxy :: MethodProxy info)
+
+#if MIN_VERSION_base(4,9,0)
+instance (info ~ ResolveFontFaceMethod t FontFace, MethodInfo info FontFace p) => IsLabel t (FontFace -> p) where
+    fromLabel _ = overloadedMethod (MethodProxy :: MethodProxy info)
+#endif
 
 
diff --git a/GI/Cairo/Structs/FontOptions.hs b/GI/Cairo/Structs/FontOptions.hs
--- a/GI/Cairo/Structs/FontOptions.hs
+++ b/GI/Cairo/Structs/FontOptions.hs
@@ -1,4 +1,5 @@
 
+
 {- |
 Copyright  : Will Thompson, Iñaki García Etxebarria and Jonas Platte
 License    : LGPL-2.1
@@ -28,5 +29,16 @@
 newtype FontOptions = FontOptions (ForeignPtr FontOptions)
 noFontOptions :: Maybe FontOptions
 noFontOptions = Nothing
+
+type family ResolveFontOptionsMethod (t :: Symbol) (o :: *) :: * where
+    ResolveFontOptionsMethod l o = MethodResolutionFailed l o
+
+instance (info ~ ResolveFontOptionsMethod t FontOptions, MethodInfo info FontOptions p) => IsLabelProxy t (FontOptions -> p) where
+    fromLabelProxy _ = overloadedMethod (MethodProxy :: MethodProxy info)
+
+#if MIN_VERSION_base(4,9,0)
+instance (info ~ ResolveFontOptionsMethod t FontOptions, MethodInfo info FontOptions p) => IsLabel t (FontOptions -> p) where
+    fromLabel _ = overloadedMethod (MethodProxy :: MethodProxy info)
+#endif
 
 
diff --git a/GI/Cairo/Structs/FontType.hs b/GI/Cairo/Structs/FontType.hs
--- a/GI/Cairo/Structs/FontType.hs
+++ b/GI/Cairo/Structs/FontType.hs
@@ -1,4 +1,5 @@
 
+
 {- |
 Copyright  : Will Thompson, Iñaki García Etxebarria and Jonas Platte
 License    : LGPL-2.1
@@ -28,5 +29,16 @@
 newtype FontType = FontType (ForeignPtr FontType)
 noFontType :: Maybe FontType
 noFontType = Nothing
+
+type family ResolveFontTypeMethod (t :: Symbol) (o :: *) :: * where
+    ResolveFontTypeMethod l o = MethodResolutionFailed l o
+
+instance (info ~ ResolveFontTypeMethod t FontType, MethodInfo info FontType p) => IsLabelProxy t (FontType -> p) where
+    fromLabelProxy _ = overloadedMethod (MethodProxy :: MethodProxy info)
+
+#if MIN_VERSION_base(4,9,0)
+instance (info ~ ResolveFontTypeMethod t FontType, MethodInfo info FontType p) => IsLabel t (FontType -> p) where
+    fromLabel _ = overloadedMethod (MethodProxy :: MethodProxy info)
+#endif
 
 
diff --git a/GI/Cairo/Structs/Matrix.hs b/GI/Cairo/Structs/Matrix.hs
--- a/GI/Cairo/Structs/Matrix.hs
+++ b/GI/Cairo/Structs/Matrix.hs
@@ -1,4 +1,5 @@
 
+
 {- |
 Copyright  : Will Thompson, Iñaki García Etxebarria and Jonas Platte
 License    : LGPL-2.1
@@ -28,5 +29,16 @@
 newtype Matrix = Matrix (ForeignPtr Matrix)
 noMatrix :: Maybe Matrix
 noMatrix = Nothing
+
+type family ResolveMatrixMethod (t :: Symbol) (o :: *) :: * where
+    ResolveMatrixMethod l o = MethodResolutionFailed l o
+
+instance (info ~ ResolveMatrixMethod t Matrix, MethodInfo info Matrix p) => IsLabelProxy t (Matrix -> p) where
+    fromLabelProxy _ = overloadedMethod (MethodProxy :: MethodProxy info)
+
+#if MIN_VERSION_base(4,9,0)
+instance (info ~ ResolveMatrixMethod t Matrix, MethodInfo info Matrix p) => IsLabel t (Matrix -> p) where
+    fromLabel _ = overloadedMethod (MethodProxy :: MethodProxy info)
+#endif
 
 
diff --git a/GI/Cairo/Structs/Path.hs b/GI/Cairo/Structs/Path.hs
--- a/GI/Cairo/Structs/Path.hs
+++ b/GI/Cairo/Structs/Path.hs
@@ -1,4 +1,5 @@
 
+
 {- |
 Copyright  : Will Thompson, Iñaki García Etxebarria and Jonas Platte
 License    : LGPL-2.1
@@ -28,5 +29,16 @@
 newtype Path = Path (ForeignPtr Path)
 noPath :: Maybe Path
 noPath = Nothing
+
+type family ResolvePathMethod (t :: Symbol) (o :: *) :: * where
+    ResolvePathMethod l o = MethodResolutionFailed l o
+
+instance (info ~ ResolvePathMethod t Path, MethodInfo info Path p) => IsLabelProxy t (Path -> p) where
+    fromLabelProxy _ = overloadedMethod (MethodProxy :: MethodProxy info)
+
+#if MIN_VERSION_base(4,9,0)
+instance (info ~ ResolvePathMethod t Path, MethodInfo info Path p) => IsLabel t (Path -> p) where
+    fromLabel _ = overloadedMethod (MethodProxy :: MethodProxy info)
+#endif
 
 
diff --git a/GI/Cairo/Structs/Pattern.hs b/GI/Cairo/Structs/Pattern.hs
--- a/GI/Cairo/Structs/Pattern.hs
+++ b/GI/Cairo/Structs/Pattern.hs
@@ -1,4 +1,5 @@
 
+
 {- |
 Copyright  : Will Thompson, Iñaki García Etxebarria and Jonas Platte
 License    : LGPL-2.1
@@ -34,5 +35,16 @@
 
 noPattern :: Maybe Pattern
 noPattern = Nothing
+
+type family ResolvePatternMethod (t :: Symbol) (o :: *) :: * where
+    ResolvePatternMethod l o = MethodResolutionFailed l o
+
+instance (info ~ ResolvePatternMethod t Pattern, MethodInfo info Pattern p) => IsLabelProxy t (Pattern -> p) where
+    fromLabelProxy _ = overloadedMethod (MethodProxy :: MethodProxy info)
+
+#if MIN_VERSION_base(4,9,0)
+instance (info ~ ResolvePatternMethod t Pattern, MethodInfo info Pattern p) => IsLabel t (Pattern -> p) where
+    fromLabel _ = overloadedMethod (MethodProxy :: MethodProxy info)
+#endif
 
 
diff --git a/GI/Cairo/Structs/RectangleInt.hs b/GI/Cairo/Structs/RectangleInt.hs
--- a/GI/Cairo/Structs/RectangleInt.hs
+++ b/GI/Cairo/Structs/RectangleInt.hs
@@ -1,4 +1,5 @@
 
+
 {- |
 Copyright  : Will Thompson, Iñaki García Etxebarria and Jonas Platte
 License    : LGPL-2.1
@@ -10,6 +11,7 @@
 
 -- * Exported types
     RectangleInt(..)                        ,
+    newZeroRectangleInt                     ,
     noRectangleInt                          ,
 
 
@@ -51,6 +53,10 @@
 instance BoxedObject RectangleInt where
     boxedType _ = c_cairo_gobject_rectangle_int_get_type
 
+-- | Construct a `RectangleInt` struct initialized to zero.
+newZeroRectangleInt :: MonadIO m => m RectangleInt
+newZeroRectangleInt = liftIO $ callocBoxedBytes 16 >>= wrapBoxed RectangleInt
+
 noRectangleInt :: Maybe RectangleInt
 noRectangleInt = Nothing
 
@@ -73,5 +79,16 @@
 rectangleIntReadHeight s = withManagedPtr s $ \ptr -> do
     val <- peek (ptr `plusPtr` 12) :: IO Int32
     return val
+
+type family ResolveRectangleIntMethod (t :: Symbol) (o :: *) :: * where
+    ResolveRectangleIntMethod l o = MethodResolutionFailed l o
+
+instance (info ~ ResolveRectangleIntMethod t RectangleInt, MethodInfo info RectangleInt p) => IsLabelProxy t (RectangleInt -> p) where
+    fromLabelProxy _ = overloadedMethod (MethodProxy :: MethodProxy info)
+
+#if MIN_VERSION_base(4,9,0)
+instance (info ~ ResolveRectangleIntMethod t RectangleInt, MethodInfo info RectangleInt p) => IsLabel t (RectangleInt -> p) where
+    fromLabel _ = overloadedMethod (MethodProxy :: MethodProxy info)
+#endif
 
 
diff --git a/GI/Cairo/Structs/Region.hs b/GI/Cairo/Structs/Region.hs
--- a/GI/Cairo/Structs/Region.hs
+++ b/GI/Cairo/Structs/Region.hs
@@ -1,4 +1,5 @@
 
+
 {- |
 Copyright  : Will Thompson, Iñaki García Etxebarria and Jonas Platte
 License    : LGPL-2.1
@@ -34,5 +35,16 @@
 
 noRegion :: Maybe Region
 noRegion = Nothing
+
+type family ResolveRegionMethod (t :: Symbol) (o :: *) :: * where
+    ResolveRegionMethod l o = MethodResolutionFailed l o
+
+instance (info ~ ResolveRegionMethod t Region, MethodInfo info Region p) => IsLabelProxy t (Region -> p) where
+    fromLabelProxy _ = overloadedMethod (MethodProxy :: MethodProxy info)
+
+#if MIN_VERSION_base(4,9,0)
+instance (info ~ ResolveRegionMethod t Region, MethodInfo info Region p) => IsLabel t (Region -> p) where
+    fromLabel _ = overloadedMethod (MethodProxy :: MethodProxy info)
+#endif
 
 
diff --git a/GI/Cairo/Structs/ScaledFont.hs b/GI/Cairo/Structs/ScaledFont.hs
--- a/GI/Cairo/Structs/ScaledFont.hs
+++ b/GI/Cairo/Structs/ScaledFont.hs
@@ -1,4 +1,5 @@
 
+
 {- |
 Copyright  : Will Thompson, Iñaki García Etxebarria and Jonas Platte
 License    : LGPL-2.1
@@ -34,5 +35,16 @@
 
 noScaledFont :: Maybe ScaledFont
 noScaledFont = Nothing
+
+type family ResolveScaledFontMethod (t :: Symbol) (o :: *) :: * where
+    ResolveScaledFontMethod l o = MethodResolutionFailed l o
+
+instance (info ~ ResolveScaledFontMethod t ScaledFont, MethodInfo info ScaledFont p) => IsLabelProxy t (ScaledFont -> p) where
+    fromLabelProxy _ = overloadedMethod (MethodProxy :: MethodProxy info)
+
+#if MIN_VERSION_base(4,9,0)
+instance (info ~ ResolveScaledFontMethod t ScaledFont, MethodInfo info ScaledFont p) => IsLabel t (ScaledFont -> p) where
+    fromLabel _ = overloadedMethod (MethodProxy :: MethodProxy info)
+#endif
 
 
diff --git a/GI/Cairo/Structs/Surface.hs b/GI/Cairo/Structs/Surface.hs
--- a/GI/Cairo/Structs/Surface.hs
+++ b/GI/Cairo/Structs/Surface.hs
@@ -1,4 +1,5 @@
 
+
 {- |
 Copyright  : Will Thompson, Iñaki García Etxebarria and Jonas Platte
 License    : LGPL-2.1
@@ -34,5 +35,16 @@
 
 noSurface :: Maybe Surface
 noSurface = Nothing
+
+type family ResolveSurfaceMethod (t :: Symbol) (o :: *) :: * where
+    ResolveSurfaceMethod l o = MethodResolutionFailed l o
+
+instance (info ~ ResolveSurfaceMethod t Surface, MethodInfo info Surface p) => IsLabelProxy t (Surface -> p) where
+    fromLabelProxy _ = overloadedMethod (MethodProxy :: MethodProxy info)
+
+#if MIN_VERSION_base(4,9,0)
+instance (info ~ ResolveSurfaceMethod t Surface, MethodInfo info Surface p) => IsLabel t (Surface -> p) where
+    fromLabel _ = overloadedMethod (MethodProxy :: MethodProxy info)
+#endif
 
 
diff --git a/gi-cairo.cabal b/gi-cairo.cabal
--- a/gi-cairo.cabal
+++ b/gi-cairo.cabal
@@ -1,6 +1,6 @@
 -- Autogenerated, do not edit.
 name:               gi-cairo
-version:            0.1.14.12
+version:            0.1.14.13
 synopsis:           cairo bindings
 description:        Bindings for cairo, autogenerated by haskell-gi.
 homepage:           https://github.com/haskell-gi/haskell-gi
@@ -14,8 +14,8 @@
 
 library
     default-language:   Haskell2010
-    default-extensions: OverloadedStrings, NegativeLiterals, ConstraintKinds, TypeFamilies, MultiParamTypeClasses, KindSignatures, FlexibleInstances, UndecidableInstances, DataKinds, FlexibleContexts
-    other-extensions:   PatternSynonyms ScopedTypeVariables, ViewPatterns
+    default-extensions: ScopedTypeVariables, CPP, OverloadedStrings, NegativeLiterals, ConstraintKinds, TypeFamilies, MultiParamTypeClasses, KindSignatures, FlexibleInstances, UndecidableInstances, DataKinds, FlexibleContexts
+    other-extensions:   PatternSynonyms ViewPatterns
     ghc-options:        -fno-warn-unused-imports -fno-warn-warnings-deprecations
     exposed-modules:    GI.Cairo.Types
                         GI.Cairo
@@ -36,7 +36,7 @@
                         GI.Cairo.Structs.Surface
     pkgconfig-depends:  cairo-gobject >= 1.14
     build-depends: base >= 4.7 && <5,
-        haskell-gi-base >= 0.12 && < 1,
+        haskell-gi-base >= 0.13 && < 1,
         bytestring >= 0.10,
         containers >= 0.5,
         text >= 1.0,