I have a question about monads ... if they are really the "fundamental unit of composibility" as put forward in a few of the Channel9 interviews with Brian Beckman and Eric Meijer, then isn't it practical to assume that the goal should then be to ensure that everything is in a monad?  Does that actually make sense, and is it even possible?