[Haskell-cafe] Non-deterministic function/expression types in Haskell?

[Benjamin Redelings]

Hi Oleg,

I like monads, really I do.  I am just not asking a question about how I 
can (or should) use monads.

I guess we can split my question into two branches:
(a) why are monads a perfect solution to my problem?
(b) can we extend the HM type system to support non-determinism directly?

What I am actually interested in is (b), so I don't want to get 
sidetracked with (a) if it means ignoring (b).  I will think if I can 
respond to (a) without completely getting side-tracked and ignoring 
(b).  Does that make sense?

take care,

-BenRI

P.S. Thanks for the links!