diff --git a/.gitignore b/.gitignore
--- a/.gitignore
+++ b/.gitignore
@@ -9,6 +9,7 @@
 TAGS
 /.idea/
 /.dir-locals.el
-
 src/highlight.js
-src/style.css
+src/style.css/dist*
+/result*
+/dist*
diff --git a/pretty-types.cabal b/pretty-types.cabal
--- a/pretty-types.cabal
+++ b/pretty-types.cabal
@@ -1,5 +1,6 @@
+cabal-version:       >=1.22
 name:                pretty-types
-version:             0.3.0.1
+version:             0.4.0.0
 synopsis:            A small pretty printing DSL for complex types.
 description:         Please see README.md
 homepage:            https://github.com/sheyll/pretty-types#readme
@@ -7,7 +8,7 @@
 license-file:         LICENSE
 author:              Sven Heyll
 maintainer:          sven.heyll@gmail.com
-copyright:           2016-2019 Sven Heyll
+copyright:           2016-2021 Sven Heyll
 category:            Text
 build-type:          Simple
 extra-source-files:   README.md
@@ -15,7 +16,6 @@
                     , .travis.yml
                     , .gitignore
                     , ChangeLog.md
-cabal-version:       >=1.10
 
 library
   hs-source-dirs:      src
diff --git a/src/Data/Type/Pretty.hs b/src/Data/Type/Pretty.hs
--- a/src/Data/Type/Pretty.hs
+++ b/src/Data/Type/Pretty.hs
@@ -119,7 +119,7 @@
 -- | Pretty print either types of kind 'PrettyType' or any other type with a
 -- 'ToPretty' instance.
 showPretty
-  :: forall proxy (t :: k) . PrettyTypeShow (ToPretty t)
+  :: forall k proxy (t :: k) . PrettyTypeShow (ToPretty t)
   => proxy t  -- ^ A proxy to the type to print. A 'ToPretty' instance for t must exists.
   -> String
 showPretty _ = snd $ evalRWS (ptShow (Proxy :: Proxy (ToPretty t))) 0 AtBeginningOfLine
diff --git a/stack.yaml b/stack.yaml
--- a/stack.yaml
+++ b/stack.yaml
@@ -1,4 +1,4 @@
-resolver: lts-13.3
+resolver: lts-16.31
 packages:
 - '.'
 extra-deps: []