@@ -278,8 +278,11 @@
278278
279279This function returns its first argument, and can be used to assert type equalities.
280280This can be useful when types are otherwise ambiguous.
281+
281282E.g.
283+
282284 main = print $ [] `asTypeOf` [0]
285+
283286If instead, we had written `main = print []`, the type of the argument `[]` would have
284287been ambiguous, resulting in a compile-time error.
285288
@@ -312,7 +315,9 @@ Flips the order of the arguments to a function of two arguments.
312315#### `otherwise`
313316
314317An alias for `true`, which can be useful in guard clauses:
318+
315319E.g.
320+
316321 max x y | x >= y = x
317322 | otherwise = y
318323