diff --git a/CHANGELOG.md b/CHANGELOG.md
new file mode 100644
--- /dev/null
+++ b/CHANGELOG.md
@@ -0,0 +1,5 @@
+# 0.1.1.0
+
+- Accept `generics-sop-0.2`
+- Other upper bounds lifts
+- `AnsiPretty Float` and `AnsiFloat Double`
diff --git a/ansi-pretty.cabal b/ansi-pretty.cabal
--- a/ansi-pretty.cabal
+++ b/ansi-pretty.cabal
@@ -1,9 +1,9 @@
--- This file has been generated from package.yaml by hpack version 0.7.0.
+-- This file has been generated from package.yaml by hpack version 0.8.0.
 --
 -- see: https://github.com/sol/hpack
 
 name:           ansi-pretty
-version:        0.1.0.0
+version:        0.1.1.0
 synopsis:       AnsiPretty for ansi-wl-pprint
 description:    'AnsiPretty' type class, more colorful than 'Pretty'.
 category:       Web
@@ -18,6 +18,7 @@
 cabal-version:  >= 1.10
 
 extra-source-files:
+    CHANGELOG.md
     README.md
 
 source-repository head
@@ -29,16 +30,16 @@
       src
   ghc-options: -Wall
   build-depends:
-      aeson                 >=0.8   && <0.10
+      aeson                 >=0.8   && <0.11
     , ansi-wl-pprint        >=0.6   && <0.7
     , array                 >=0.5   && <0.6
     , base                  >=4.7   && <4.9
     , bytestring            >=0.10  && <0.11
     , containers            >=0.5   && <0.6
-    , generics-sop          >=0.1   && <0.2
-    , nats                  >=1     && <1.1
+    , generics-sop          >=0.1   && <0.3
+    , nats                  >=1     && <1.2
     , scientific            >=0.3   && <0.4
-    , semigroups            >=0.16  && <0.18
+    , semigroups            >=0.16  && <0.19
     , tagged                >=0.7   && <0.9
     , text                  >=1.2   && <1.3
     , time                  >=1.4   && <1.6
diff --git a/src/Text/PrettyPrint/ANSI/Leijen/AnsiPretty.hs b/src/Text/PrettyPrint/ANSI/Leijen/AnsiPretty.hs
--- a/src/Text/PrettyPrint/ANSI/Leijen/AnsiPretty.hs
+++ b/src/Text/PrettyPrint/ANSI/Leijen/AnsiPretty.hs
@@ -5,6 +5,7 @@
 {-# LANGUAGE FlexibleContexts #-}
 {-# LANGUAGE GADTs #-}
 {-# LANGUAGE KindSignatures #-}
+{-# LANGUAGE PolyKinds #-}
 {-# LANGUAGE RankNTypes #-}
 {-# LANGUAGE ScopedTypeVariables #-}
 -- |
@@ -76,11 +77,18 @@
 import qualified Data.Vector.Storable as S
 import qualified Data.Vector.Unboxed as U
 
+#if !MIN_VERSION_generics_sop(0,2,0)
+type SListI (a :: k) = SingI a
+type SList (a :: k) = Sing a
+sList :: forall xs. SListI xs => SList xs
+sList = sing
+#endif
+
 -- | Generically derivable colorful analogue of 'Text.PrettyPrint.ANSI.Leijen.Pretty'
 class AnsiPretty a where
   ansiPretty :: a -> Doc
 
-  default ansiPretty :: (GHC.Generic a, All2 AnsiPretty (GCode a), GFrom a, GDatatypeInfo a, SingI (GCode a)) => a -> Doc
+  default ansiPretty :: (GHC.Generic a, All2 AnsiPretty (GCode a), GFrom a, GDatatypeInfo a, SListI (GCode a)) => a -> Doc
   ansiPretty = ghcAnsiPretty
 
   ansiPrettyList :: [a] -> Doc
@@ -120,10 +128,10 @@
 
 -- GHC
 
-ghcAnsiPretty :: forall a. (GHC.Generic a, All2 AnsiPretty (GCode a), GFrom a, GDatatypeInfo a, SingI (GCode a)) => a -> Doc
+ghcAnsiPretty :: forall a. (GHC.Generic a, All2 AnsiPretty (GCode a), GFrom a, GDatatypeInfo a, SListI (GCode a)) => a -> Doc
 ghcAnsiPretty = ghcAnsiPrettyWith defAnsiPrettyOpts
 
-ghcAnsiPrettyWith :: forall a. (GHC.Generic a, All2 AnsiPretty (GCode a), GFrom a, GDatatypeInfo a, SingI (GCode a)) => AnsiPrettyOpts -> a -> Doc
+ghcAnsiPrettyWith :: forall a. (GHC.Generic a, All2 AnsiPretty (GCode a), GFrom a, GDatatypeInfo a, SListI (GCode a)) => AnsiPrettyOpts -> a -> Doc
 ghcAnsiPrettyWith opts x = sopAnsiPrettyS opts (gfrom x) (gdatatypeInfo (Proxy :: Proxy a))
 
 -- SOP
@@ -152,13 +160,13 @@
 constructorName (Record name _) = name
 
 fieldInfo :: ConstructorInfo xs -> NP FieldInfo xs
-fieldInfo (Constructor _) = constructorFieldInfos 0 sing
+fieldInfo (Constructor _) = constructorFieldInfos 0 sList
 fieldInfo (Infix _ _ _) = FieldInfo "_lhs" :* FieldInfo "_rhs" :* Nil
 fieldInfo (Record _ fi) = fi
 
-constructorFieldInfos :: forall (xs :: [*]). Int -> Sing xs -> NP FieldInfo xs
+constructorFieldInfos :: forall (xs :: [*]). Int -> SList xs -> NP FieldInfo xs
 constructorFieldInfos _ SNil  = Nil
-constructorFieldInfos n SCons = FieldInfo ("_" <> show n) :* constructorFieldInfos (n+1) sing
+constructorFieldInfos n SCons = FieldInfo ("_" <> show n) :* constructorFieldInfos (n+1) sList
 
 -- Instances
 
@@ -167,6 +175,12 @@
 
 instance AnsiPretty Int where
   ansiPretty = dullyellow . int
+
+instance AnsiPretty Float where
+  ansiPretty = dullyellow . float
+
+instance AnsiPretty Double where
+  ansiPretty = dullyellow . double
 
 instance AnsiPretty Doc where
   ansiPretty = id