diff --git a/essence-of-live-coding-quickcheck.cabal b/essence-of-live-coding-quickcheck.cabal
--- a/essence-of-live-coding-quickcheck.cabal
+++ b/essence-of-live-coding-quickcheck.cabal
@@ -1,5 +1,5 @@
 name:                essence-of-live-coding-quickcheck
-version:             0.2.5
+version:             0.2.6
 synopsis: General purpose live coding framework - QuickCheck integration
 description:
   essence-of-live-coding is a general purpose and type safe live coding framework.
@@ -31,14 +31,14 @@
 source-repository this
   type:     git
   location: git@github.com:turion/essence-of-live-coding.git
-  tag:      v0.2.5
+  tag:      v0.2.6
 
 
 library
   exposed-modules:     LiveCoding.QuickCheck
   build-depends:
       base >= 4.11 && < 5
-    , essence-of-live-coding >= 0.2.5
+    , essence-of-live-coding >= 0.2.6
     , transformers >= 0.5
     , syb >= 0.7
     , QuickCheck >= 2.12
diff --git a/src/LiveCoding/QuickCheck.lhs b/src/LiveCoding/QuickCheck.lhs
--- a/src/LiveCoding/QuickCheck.lhs
+++ b/src/LiveCoding/QuickCheck.lhs
@@ -231,10 +231,9 @@
 testState query LiveProgram { .. } = conjoin
   $ gmapQ query liveState
 
-mkGenericProperty
-  :: Typeable b
-  =>         (b -> Property)
-  -> GenericQ      Property
+mkGenericProperty :: Typeable a 
+  => (a -> Property)
+  ->  a -> Property
 mkGenericProperty = mkQ $ property True
 
 posSumC :: (Monad m, Num a, Data a) => Cell m a a