How timely. I have just uploaded my very first module
It uses techniques from functional programming to do IPC, and bears a striking resemblance to monads. You may study the source at your own peril.
Thanks++ for the links. While I was writing my module, I didn't fully understand what monads were.