Thanks!

I do mention that instances of the Monad typeclass have to follow certain laws to make sure that they are "meaningful and useful"...I handwaved the actual laws away in the ambiguous interpretations of 'meaningful and useful' :) I made the choice that going into what that really meant would be beyond the scope of the article...but thanks for the comment :)

Hi, author here; experimenting with some ways to explain two very useful concepts that I feel don't get enough mainstream popularity, despite being applicable to many languages :) Let me know if there are any obvious mistakes, awfully written sections, or questions :)