I posted something similar about an hour ago but it seems to have gotten lost. Very strange. I've read that Monads can combine computations. Can a Maybe monad be combined with a List monad such that Nothing `mplus` [] ==> [] Just 1 `mplus` [] ==> [1] If not, can someone supply a simple example of combining computations? Michael