New "sketches" section.
Generalize a couple type signatures.