@@ -278,8 +278,11 @@
279This function returns its first argument, and can be used to assert type equalities.
279This function returns its first argument, and can be used to assert type equalities.
280This can be useful when types are otherwise ambiguous.
280This can be useful when types are otherwise ambiguous.
282 main = print $ [] `asTypeOf` [0]
284 main = print $ [] `asTypeOf` [0]
283If instead, we had written `main = print []`, the type of the argument `[]` would have
286If instead, we had written `main = print []`, the type of the argument `[]` would have
284been ambiguous, resulting in a compile-time error.
287been ambiguous, resulting in a compile-time error.
@@ -312,7 +315,9 @@ Flips the order of the arguments to a function of two arguments.
312#### `otherwise`
315#### `otherwise`
314An alias for `true`, which can be useful in guard clauses:
317An alias for `true`, which can be useful in guard clauses:
316 max x y | x >= y = x
321 max x y | x >= y = x
317 | otherwise = y
322 | otherwise = y