Apply suggestions from code review

Co-authored-by: David Thrane Christiansen <[email protected]>

Author: VictorCMiraldo

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

@@ -8,7 +8,7 @@ of type `Int`; yet, on the definition of `two` it was called with
 an argument of type `String`.
 
 If you ever need to know the type of something, you can ask for it in `ghci`
-and ask for it with `:type` (or its shorthand `:t`):
+with the command `:type` (or its shorthand `:t`):
 
 ```
 ghci> :t "x"

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

@@ -5,7 +5,7 @@ order: 1
 
 Forgetting the type parameter to `Maybe` is the culprit, but it is only caught in the
 context of the the arrow in the declaration of `isNothing`, which can be confusing.
-Recall that the arrow (`->`) in Haskell is a type constructor, it takes two types
+The arrow (`->`) in Haskell is a _type constructor_. It takes two types
 of *kind* `Type`, and returns a fresh type, also of kind `Type`. That is, for `x -> y`
 to make any sense, GHC needs `x` and `y` to be types of kind `Type`, which is not
 the case in this example: `Maybe` by itself has kind `Type -> Type`.

message-index/site.hs

@@ -196,7 +196,13 @@ messageCtx :: Context String
 messageCtx = field "id" (pure . getId) <> indexlessUrlField "url"
 
 data ExampleOrder = InGroup Integer | Last
-  deriving (Eq, Ord, Show)
+  deriving (Eq, Show)
+
+instance Ord ExampleOrder where
+  compare (InGroup i) (InGroup j) = compare i j
+  compare (InGroup _) Last = LT
+  compare Last (InGroup _) = GT
+  compare Last Last = EQ  
 
 getExampleOrder :: Identifier -> Compiler ExampleOrder
 getExampleOrder ident = do