diff --git a/ChangeLog.md b/ChangeLog.md
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -3,3 +3,7 @@
 ## 0.1.0.0 -- 2023-09-18
 
 * Initial public release.
+
+## 0.1.1.0 -- 2024-09-01
+* Fix an issue where constraints in the effect constructor were not properly reflected in 'genLiftInsPatternSynonyms'.
+* Fixed an issue where the auto-generation would fail when the name of the effect constructor started with a colon (:) operator.
diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -11,7 +11,7 @@
 the [Heftia](https://github.com/sayo-hs/heftia) extensible effects library.
 
 ## Your contributions are welcome!
-Please see [CONTRIBUTING.md](CONTRIBUTING.md).
+Please see [CONTRIBUTING.md](https://github.com/sayo-hs/data-effects/blob/ef706ef3fa547de01ce6bb5636af911354e53b58/CONTRIBUTING.md).
 
 ## Credits
 Parts of this project have been adapted or inspired by the following resources:
diff --git a/data-effects-th.cabal b/data-effects-th.cabal
--- a/data-effects-th.cabal
+++ b/data-effects-th.cabal
@@ -1,6 +1,6 @@
 cabal-version:      2.4
 name:               data-effects-th
-version:            0.1.0.0
+version:            0.1.1.0
 
 -- A short (one-line) description of the package.
 synopsis: Template Haskell utilities for the data-effects library.
diff --git a/src/Data/Effect/TH/Internal.hs b/src/Data/Effect/TH/Internal.hs
--- a/src/Data/Effect/TH/Internal.hs
+++ b/src/Data/Effect/TH/Internal.hs
@@ -82,7 +82,7 @@
     Specificity (SpecifiedSpec),
     TyVarBndr (..),
     TyVarBndrSpec,
-    Type (WildCardT),
+    Type (TupleT, WildCardT),
     getDoc,
     mkName,
     patSynSigD,
@@ -223,7 +223,11 @@
             { _confByEffect = \effConName ->
                 let normalSenderFnConf =
                         SenderFunctionConf
-                            { _senderFnName = nameBase effConName & _head %~ toLower
+                            { _senderFnName =
+                                let effConName' = nameBase effConName
+                                 in if head effConName' == ':'
+                                        then tail effConName'
+                                        else effConName' & _head %~ toLower
                             , _doesGenerateSenderFnSignature = True
                             , _senderFnDoc = pure
                             , _senderFnArgDoc = const pure
@@ -539,7 +543,9 @@
                         -- not inferred properly (why?).
                         [t|
                             () =>
-                            ($(pure a) ~ $(pure effResultType)) =>
+                            ( $(pure a) ~ $(pure effResultType)
+                            , $(pure $ foldl AppT (TupleT (length effCxt)) effCxt)
+                            ) =>
                             $( pure $
                                 arrowChain
                                     effParamTypes