Looks a lot like Haskell. Is there any reason Haskell couldn't just be ported to the CLR?