Remove confusing higher-order contract expression in the manual
@@ -179,17 +179,17 @@ let MyConfig = {
}
```
-### Higher-order contracts
-
-Higher-order contracts are contracts parametrized by other contracts. There are
-not really special among parametrized contracts, but note that although
-contracts can be functions, we will see soon that they can be different objects
-as well. Even with functions, contract application behaves slightly differently
-than bare function application. Thus, when manually handling a contract
-`contract`, do not apply it as a function `contract label value`, but use
-`contracts.apply`: `contracts.apply contract label value`. One example of a
-higher-order contract is a `Nullable` contract, that accepts a value that is
-either null or of some other given format:
+### Contracts parametrized by contracts
+
+Contracts parametrized by other contracts are not really special among
+parametrized contracts, but note that although contracts can be functions, we
+will see soon that they can be different objects as well. Even with functions,
+contract application behaves slightly differently than bare function
+application. Thus, when manually handling a contract `contract`, do not apply it
+as a function `contract label value`, but use `contracts.apply`:
+`contracts.apply contract label value`. One example of a higher-order contract
+is a `Nullable` contract, that accepts a value that is either null or of some
+other given format:
```nickel
let Nullable = fun contract label value =>
