diff --git a/basic-sop.cabal b/basic-sop.cabal
--- a/basic-sop.cabal
+++ b/basic-sop.cabal
@@ -1,5 +1,5 @@
 name:                basic-sop
-version:             0.1.0.5
+version:             0.2.0.0
 synopsis:            Basic examples and functions for generics-sop
 description:
   This library contains various small examples of generic functions
@@ -16,7 +16,7 @@
 category:            Generics
 build-type:          Simple
 cabal-version:       >=1.10
-tested-with:         GHC == 7.6.3, GHC == 7.8.2
+tested-with:         GHC == 7.6.3, GHC == 7.8.4, GHC == 7.10.2
 
 source-repository head
   type:                git
@@ -29,7 +29,7 @@
                        Generics.SOP.Skeleton
                        Generics.SOP.NFData
   build-depends:       base                 >= 4.6  && < 5,
-                       generics-sop         >= 0.1  && < 0.2,
+                       generics-sop         >= 0.2  && < 0.3,
                        text                 >= 1.1  && < 1.3,
                        QuickCheck           >= 2.7  && < 2.9,
                        deepseq              >= 1.3  && < 1.5
diff --git a/src/Generics/SOP/Eq.hs b/src/Generics/SOP/Eq.hs
--- a/src/Generics/SOP/Eq.hs
+++ b/src/Generics/SOP/Eq.hs
@@ -20,12 +20,12 @@
 -- >   (==) = geq
 --
 geq :: (Generic a, All2 Eq (Code a)) => a -> a -> Bool
-geq = go sing `on` from
+geq = go `on` from
   where
-    go :: forall xss. (All2 Eq xss) => Sing xss -> SOP I xss -> SOP I xss -> Bool
-    go SCons (SOP (Z xs))  (SOP (Z ys))  = and . hcollapse $ hcliftA2 p eq xs ys
-    go SCons (SOP (S xss)) (SOP (S yss)) = go sing (SOP xss) (SOP yss)
-    go _     _             _             = False
+    go :: forall xss. (All2 Eq xss, All SListI xss) => SOP I xss -> SOP I xss -> Bool
+    go (SOP (Z xs))  (SOP (Z ys))  = and . hcollapse $ hcliftA2 p eq xs ys
+    go (SOP (S xss)) (SOP (S yss)) = go (SOP xss) (SOP yss)
+    go _             _             = False
 
     p :: Proxy Eq
     p = Proxy
diff --git a/src/Generics/SOP/Show.hs b/src/Generics/SOP/Show.hs
--- a/src/Generics/SOP/Show.hs
+++ b/src/Generics/SOP/Show.hs
@@ -31,8 +31,8 @@
             ADT     _ _ cs -> gshow' cs         (from a)
             Newtype _ _ c  -> gshow' (c :* Nil) (from a)
 
-gshow' :: (All2 Show xss, SingI xss) => NP ConstructorInfo xss -> SOP I xss -> String
-gshow' cs (SOP sop) = unI . hcollapse $ hcliftA2' p goConstructor cs sop
+gshow' :: (All2 Show xss, SListI xss) => NP ConstructorInfo xss -> SOP I xss -> String
+gshow' cs (SOP sop) = hcollapse $ hcliftA2 allp goConstructor cs sop
 
 goConstructor :: All Show xs => ConstructorInfo xs -> NP I xs -> K String xs
 goConstructor (Constructor n) args =
@@ -56,3 +56,6 @@
 
 p :: Proxy Show
 p = Proxy
+
+allp :: Proxy (All Show)
+allp = Proxy
diff --git a/src/Generics/SOP/Skeleton.hs b/src/Generics/SOP/Skeleton.hs
--- a/src/Generics/SOP/Skeleton.hs
+++ b/src/Generics/SOP/Skeleton.hs
@@ -83,7 +83,7 @@
     fieldName :: FieldInfo a -> K String a
     fieldName (FieldInfo n) = K n
 
-spineWithNames :: (All Skeleton xs, SingI xs) => NP (K String) xs -> NP I xs
+spineWithNames :: (All Skeleton xs, SListI xs) => NP (K String) xs -> NP I xs
 spineWithNames = hcliftA ps aux
   where
     aux :: Skeleton a => K String a -> I a