diff --git a/haskus-utils-types.cabal b/haskus-utils-types.cabal
--- a/haskus-utils-types.cabal
+++ b/haskus-utils-types.cabal
@@ -1,5 +1,5 @@
 name:                haskus-utils-types
-version:             1.3
+version:             1.3.1
 synopsis:            Haskus utility modules
 license:             BSD3
 license-file:        LICENSE
diff --git a/src/lib/Haskus/Utils/Types/List.hs b/src/lib/Haskus/Utils/Types/List.hs
--- a/src/lib/Haskus/Utils/Types/List.hs
+++ b/src/lib/Haskus/Utils/Types/List.hs
@@ -206,10 +206,10 @@
 
 -- | Helper for CheckMembers
 type family CheckMembers' (i :: [k]) (e :: [k]) (l1 :: [k]) (l2 :: [k]) :: Constraint where
-   CheckMembers' i e '[] l2  = ()
    CheckMembers' i e '[] '[] = TypeError (   'ShowType e
                                        ':$$: 'Text "is not a subset of"
                                        ':$$: 'ShowType i)
+   CheckMembers' i e '[] l2  = ()
    CheckMembers' i e (l ': ls) '[]       = CheckMembers' i (l ': e) ls i
    CheckMembers' i e (x ': xs) (x ': ys) = CheckMembers' i e xs i
    CheckMembers' i e (x ': xs) (y ': ys) = CheckMembers' i e (x ': xs) ys