Note July 6th 2025: this post’s original title was “A list is a monad”. It has been changed to “List is a monad”. Note Sept 13 2025: this post has been revised based on the feedback from the Hacker ...