The wrap-up

Leveling up

Ramping up productivity

Type signatures are not documentation, and compilers are not (quite) all-knowing

val rant : how -> 'does anyone -> f:(read -> these -> things?) = <fun>