80-col violation.
Generalise a function's type.
Sanity check.
Generalise another function's type.