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 :)