Applicative-wired monad pattern

Oh, good pointer! Yeah, it could be exactly that. I’ll update the blog post. It’s not particularly important for the thrust of the post. But it’s a nice refinement of the example.