I actually did know `bind`, `map` and the rest of their "elevated" friends (as Mr. Wlaschin calls them) beforehand, and yet, this only-code-minimal-commentary example is one of the better ones I've seen around.

Only wish you'd use the operators' syntax (e.g. `<*>, <+>`, yes, I know the last one is for applicatives) in one of your examples since that's what we're going to face "in the wild".

Still, great (minimal) example!
Kudos!

I've never quite grokked map and bind until now. Thanks!

I think it would be beneficial for future you to have implementations of your homerolled functions in the post.

I do 😄

Oops. You do!

And it's definitely not stolen re-purposed from your blog post here https://www.softwarepark.cc...