exp → exp :: [context =>] type
Expression type-signatures have the form e :: t, where e is an expression and t is a type (Section 4.1.2);
they are used to type an expression explicitly and may be used to resolve ambiguous typings due to
overloading (see Section 4.3.4). The value of the expression is just that of exp. As with normal type
signatures (see Section 4.4.1), the declared type may be more specific than the principal type derivable from
exp, but it is an error to give a type that is more general than, or not comparable to, the principal type.

}}}
with:
{{{
#!html
exp → infixexp :: [context =>] type
Expression type-signatures have the form e :: t, where e is an expression and t is a type (Section 4.1.2);
they are used to type an expression explicitly and may be used to resolve ambiguous typings due to
overloading (see Section 4.3.4). The value of the expression is just that of e. As with normal type
signatures (see Section 4.4.1), the declared type may be more specific than the principal type derivable from
e, but it is an error to give a type that is more general than, or not comparable to, the principal type.

}}}
The first change makes 3.16 consistent with the opening of 3 and with 10.5.
" modification new Haskell 201x Expressions complete