Added order to examples; added error message to descriptions

Author: VictorCMiraldo

message-index/messages/GHC-83865/terms/after/Terms.hs

@@ -1,7 +1,4 @@
-module Simple where
-
 inc :: Int -> Int
 inc i = i + 1
 
 two = inc 1
-

message-index/messages/GHC-83865/terms/before/Terms.hs

@@ -1,7 +1,4 @@
-module Simple where
-
 inc :: Int -> Int
 inc i = i + 1
 
 two = inc "x"
-

message-index/messages/GHC-83865/terms/index.md

@@ -1,6 +1,6 @@
 ---
 title: Values of Different Types
-order: 1
+order: 0
 ---
 
 Function `inc` has type `Int -> Int`, hence it expects an argument
@@ -14,3 +14,18 @@ and ask for it with `:type` (or its shorthand `:t`):
 ghci> :t "x"
 "x" :: String
 ```
+
+## Error Message
+
+```
+Terms.hs:6:11: error: [GHC-83865]
+    • Couldn't match type ‘[Char]’ with ‘Int’
+      Expected: Int
+        Actual: String
+    • In the first argument of ‘inc’, namely ‘"x"’
+      In the expression: inc "x"
+      In an equation for ‘two’: two = inc "x"
+  |
+4 | two = inc "x"
+  |
+```

message-index/messages/GHC-83865/type-kind-mism/index.md

@@ -1,6 +1,6 @@
 ---
 title: Type expected, but kind received.
-order: 0
+order: 1
 ---
 
 Forgetting the type parameter to `Maybe` is the culprit, but it is only caught in the
@@ -20,3 +20,15 @@ ghci> :k (->)
 ghci> :k Maybe
 Maybe :: * -> *
 ```
+
+## Error Message
+
+```
+Type.hs:1:14: error: [GHC-83865]
+    • Expecting one more argument to ‘Maybe’
+      Expected a type, but ‘Maybe’ has kind ‘* -> *’
+    • In the type signature: isNothing :: Maybe -> Bool
+  |
+1 | isNothing :: Maybe -> Bool
+  |
+```