diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -14,14 +14,14 @@
     main :: IO ()
     main = print spec0
 
-    spec :: Expect (Int `Isn't` Bool)
+    spec :: Expect "Expect something..." (Int `Isn't` Bool)
     spec = Valid
 
 This will output:
 
     Valid:
-         • Type:  Int
-           differs from:  Bool
+         Expect something...
+           (✓ Different)
 
 Using the operators from _TypeSpecCrazy_:
 
@@ -72,11 +72,11 @@
          There are a variety aliases for the basic combinators.
            Basic Combinators
              Context
-               Labels expectations using 'It'
+               labels expectations using 'It'
                  Describe
-                   is an alias for It, just like They
-                     is time for the first assertion
-                       • Types are equal
+                   an alias for It, just like They
+                     time for the first assertion
+                       (✓ Equal)
 
 The key feature is that the compiler checks the assertions and expectations made
 in a 'TypeSpec' and right away rejects invalid types.
diff --git a/examples/Main.hs b/examples/Main.hs
--- a/examples/Main.hs
+++ b/examples/Main.hs
@@ -19,7 +19,7 @@
 -- * TypeSpec Examples
 
 -- | Let's start off simple:
-specHelloWorld :: Expect (Int `Isn't` Bool)
+specHelloWorld :: Explain "Expect something..." (Int `Isn't` Bool)
 specHelloWorld = Valid
 
 -- | We can also expect a bit more using lists and tuples:
diff --git a/src/Test/TypeSpec/Core.hs b/src/Test/TypeSpec/Core.hs
--- a/src/Test/TypeSpec/Core.hs
+++ b/src/Test/TypeSpec/Core.hs
@@ -67,7 +67,7 @@
   => PrettyTypeSpec '(expectation1, expectation2)
   where
     prettyTypeSpec _ =
-        prettyTypeSpec pe1 $$ prettyTypeSpec pe2
+        prettyTypeSpec pe1 <+> prettyTypeSpec pe2
       where pe1 = Proxy :: Proxy expectation1
             pe2 = Proxy :: Proxy expectation2
 
@@ -82,6 +82,6 @@
   => PrettyTypeSpec (expectation ': rest)
   where
     prettyTypeSpec _ =
-        (prettyTypeSpec pe1) $$ (prettyTypeSpec pe2)
+        (prettyTypeSpec pe1) <+> (prettyTypeSpec pe2)
       where pe1 = Proxy :: Proxy expectation
             pe2 = Proxy :: Proxy rest
diff --git a/src/Test/TypeSpec/Group.hs b/src/Test/TypeSpec/Group.hs
--- a/src/Test/TypeSpec/Group.hs
+++ b/src/Test/TypeSpec/Group.hs
@@ -33,6 +33,6 @@
   => PrettyTypeSpec (expectation1 -/- expectation2)
   where
     prettyTypeSpec _ =
-        prettyTypeSpec pe1 $$ prettyTypeSpec pe2
+        prettyTypeSpec pe1 $+$ prettyTypeSpec pe2
       where pe1 = Proxy :: Proxy expectation1
             pe2 = Proxy :: Proxy expectation2
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
@@ -79,26 +79,26 @@
 
 instance PrettyTypeSpec (ShouldBeTrue a) where
   prettyTypeSpec _px =
-    prettyBulletPoint "ShouldBeTrue a"
+    prettyCheck "True"
 
 instance PrettyTypeSpec (ShouldBeFalse a) where
   prettyTypeSpec _px =
-    prettyBulletPoint "ShouldBeFalse a"
+    prettyCheck "False"
 
 instance PrettyTypeSpec (ShouldBe a b) where
   prettyTypeSpec _px =
-    prettyBulletPoint "a `ShouldBe` b"
+    prettyCheck "Equal"
 
 instance PrettyTypeSpec (ShouldNotBe a b) where
   prettyTypeSpec _px =
-      prettyBulletPoint "a `ShouldNotBe` b"
+      prettyCheck "Different"
 
 instance
     (a ~ (ShouldBe a0 a1))
   => PrettyTypeSpec (ButNot a b) where
     prettyTypeSpec _ =
-      prettyBulletPoint  "a 'ShouldBe' b 'ButNot' c"
+      prettyCheck  "Restricted"
 
 -- | Pretty print a test prefix by a bullet-point.
-prettyBulletPoint :: String -> Doc
-prettyBulletPoint doc = text "•" <+> text doc
+prettyCheck :: String -> Doc
+prettyCheck doc = parens (text "✓" <+> text doc)
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.0
+version:              0.3.0.1
 synopsis:             Type Level Specification by Example
 description:          Please see README.md
 homepage:             https://github.com/sheyll/type-spec#readme