seems like a good approach to monads, but still hard to judge without a decent textual explanation. thank you for the link