[Haskell-cafe] New (?) Partial Monad

Some time ago I noticed that a function I was writing had the exact type as liftM2, and I so I ended up generalizing a monad. I thought I should document it really well, and the result is this: http://www.downstairspeople.org/darcs/partial/Partial.pdf $ darcs get http://www.downstairspeople.org/darcs/partial I would appreciate any feedback. Is this even original? --Lane