> Ah well, I suppose it's silly to expect the entire Haskell type system> to fit *exactly* into a radically different programming language. (I> suspect C++ could probably handle it though...)
Have you looked at F#? That limitation might be with C# rather than the CIL.
