Just want to give props. This is the clearest explanation of the value of typed FP I've ever seen.