:t and :k are abbreviations of :type and :kind

Author: MatthijsBlom

source_md/making-our-own-types-and-typeclasses.md

@@ -1753,7 +1753,7 @@ A kind is more or less the type of a type.
 This may sound a bit weird and confusing, but it's actually a really cool concept.
 
 What are kinds and what are they good for?
-Well, let's examine the kind of a type by using the `:k` command in GHCi.
+Well, let's examine the kind of a type by using the `:k` (or `:kind`) command in GHCi.
 
 ```{.haskell:hs}
 ghci> :k Int

source_md/types-and-typeclasses.md

@@ -24,7 +24,7 @@ It tells us in which category of things that expression fits.
 The expression `True` is a boolean, `"hello"` is a string, etc.
 
 Now we'll use GHCi to examine the types of some expressions.
-We'll do that by using the `:t` command which, followed by any valid expression, tells us its type.
+We'll do that by using the `:t` (or `:type`) command which, followed by any valid expression, tells us its type.
 Let's give it a whirl.
 
 ```{.haskell: .ghci}