diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -45,9 +45,9 @@
     Valid:
          Higher kinded assertions
            ShouldBe accepts types of kind * -> *
-             • Types are equal
-             • Types are equal
-             • Types are equal
+             (✓ Equal)
+             (✓ Equal)
+             (✓ Equal)
 
 If you like Lisp, this might be for you:
 
diff --git a/src/Test/TypeSpec/ShouldBe.hs b/src/Test/TypeSpec/ShouldBe.hs
--- a/src/Test/TypeSpec/ShouldBe.hs
+++ b/src/Test/TypeSpec/ShouldBe.hs
@@ -101,4 +101,4 @@
 
 -- | Pretty print a test prefix by a bullet-point.
 prettyCheck :: String -> Doc
-prettyCheck doc = parens (text "✓" <+> text doc)
+prettyCheck doc = parens (text "OK" <+> text doc)
diff --git a/stack.yaml b/stack.yaml
--- a/stack.yaml
+++ b/stack.yaml
@@ -1,4 +1,4 @@
-resolver: lts-7.0
+resolver: lts-13.3
 packages:
 - '.'
 extra-deps: []
diff --git a/type-spec.cabal b/type-spec.cabal
--- a/type-spec.cabal
+++ b/type-spec.cabal
@@ -1,5 +1,5 @@
 name:                 type-spec
-version:              0.3.0.1
+version:              0.4.0.0
 synopsis:             Type Level Specification by Example
 description:          Please see README.md
 homepage:             https://github.com/sheyll/type-spec#readme
@@ -7,7 +7,7 @@
 license-file:         LICENSE
 author:               Sven Heyll
 maintainer:           sven.heyll@gmail.com
-copyright:            2016 Sven Heyll
+copyright:            2016-2019 Sven Heyll
 category:             Testing
 build-type:           Simple
 extra-source-files:   examples/Main.hs
@@ -66,7 +66,6 @@
   ghc-options:         -Wall
   hs-source-dirs:      examples
   main-is:             Main.hs
-  default-language:    Haskell2010
   build-depends:       base >= 4.9 && < 5
                      , type-spec
   default-language:    Haskell2010