diff --git a/haskus-utils-data.cabal b/haskus-utils-data.cabal
--- a/haskus-utils-data.cabal
+++ b/haskus-utils-data.cabal
@@ -1,17 +1,17 @@
-name: haskus-utils-data
-version: 1.0
 cabal-version: >=1.20
-build-type: Simple
+name: haskus-utils-data
+version: 1.1
 license: BSD3
 license-file: LICENSE
 copyright: Sylvain Henry 2018
 maintainer: sylvain@haskus.fr
+author: Sylvain Henry
 homepage: http://www.haskus.org
 synopsis: Haskus utility modules
 description:
     Haskus data utility modules
 category: System
-author: Sylvain Henry
+build-type: Simple
 
 source-repository head
     type: git
@@ -27,15 +27,14 @@
         Haskus.Utils.Map.Strict
         Haskus.Utils.Maybe
         Haskus.Utils.Tuple
+    hs-source-dirs: src/lib
+    default-language: Haskell2010
+    ghc-options: -Wall
     build-depends:
         base >=4.9 && <4.12,
-        haskus-utils-types ==1.0.*,
+        haskus-utils-types ==1.1.*,
         extra >=1.4 && <1.7,
         recursion-schemes ==5.0.*,
         containers ==0.5.*,
         mtl ==2.2.*,
         transformers >=0.4 && <0.6
-    default-language: Haskell2010
-    hs-source-dirs: src/lib
-    ghc-options: -Wall
-
diff --git a/src/lib/Haskus/Utils/HList.hs b/src/lib/Haskus/Utils/HList.hs
--- a/src/lib/Haskus/Utils/HList.hs
+++ b/src/lib/Haskus/Utils/HList.hs
@@ -139,7 +139,7 @@
 
 -- | Like HFoldl but only use types, not values!
 --
--- It allows us to foldr over a list of types, without any associated hlist of
+-- It allows us to foldl over a list of types, without any associated hlist of
 -- values.
 class HFoldl' f (z :: *) xs (r :: *) where
     hFoldl' :: f -> z -> HList xs -> r
diff --git a/src/lib/Haskus/Utils/Tuple.hs b/src/lib/Haskus/Utils/Tuple.hs
--- a/src/lib/Haskus/Utils/Tuple.hs
+++ b/src/lib/Haskus/Utils/Tuple.hs
@@ -5,6 +5,7 @@
 {-# LANGUAGE FlexibleInstances #-}
 {-# LANGUAGE FlexibleContexts #-}
 {-# LANGUAGE TypeFamilies #-}
+{-# LANGUAGE PolyKinds #-}
 
 -- | Tuple helpers
 module Haskus.Utils.Tuple
@@ -54,7 +55,7 @@
 newtype Single a = Single a deriving (Show,Eq)
 
 
-type family TupleToList t where
+type family TupleToList (t :: k) :: [k] where
    TupleToList (Single a)                                            = '[a]
    TupleToList (a,b)                                                 = '[a,b]
    TupleToList (a,b,c)                                               = '[a,b,c]
@@ -82,7 +83,7 @@
    TupleToList (a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,x,y)   = '[a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,x,y]
    TupleToList (a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,x,y,z) = '[a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,x,y,z]
 
-type family ListToTuple t where
+type family ListToTuple (t :: [k]) :: k where
    ListToTuple '[a]                                                   = Single a
    ListToTuple '[a,b]                                                 = (a,b)
    ListToTuple '[a,b,c]                                               = (a,b,c)