Fix type signatures.
Improve the answer for the fourth question.