>j x `mplus` k x) = (p >>= j) `mplus` (p >== k)
[provided x is not free in j or k]
But commutativity does not hold for Maybe or [], left distributivity
does not hold for Maybe and right distributivity does not hold for [],
so these can't be right.
Are the other i
ll class? Can I use Haskell to extend a C# abstract class?
I suspect the answer to both these questions is currently no.
If future versions of .NET and Haskell variants change that, it will
be very interesting.
Cheers,
Theodore Norvell
Dr. Theodore Norvell
de interlanguage and network interoperability? Why is it
important for Haskell to fit into .NET?
I hope this isn't too far off topic.
Cheers,
Theodore Norvell
----
Dr. Theodore Norvell[EMAIL PROTECTED]
Electrical and Computer