Hi

(I did not received your message in my mail box and I have seen it on mailing list. I dot know why this happened (?).)

/*
    Maybe I am misguessing why you are asking your question, but wouldn't it be better to ask how to map these Haskell concepts to CLR? If so, check out work on Mondrian.
*/

My intention is to employ Haskell techniques in C# where it fits. If I were going to implement Haskell on CLR the way you mentioned was proper.

For something like: type Thing a b = ThisWay a | ThatWay b | NoWay actually there is no equivalents for data constructor in C# 3 (I think). I asked it if there are other ideas about this: Controlling the execution path by deciding based of structure of data with a trick other than reflecting!

Thank you