It has monad syntax, but like C# it has no support for higher-kinded polymorphism (contextfree.livejournal.com) so unlike Haskell there's no way to create gener

It has monad syntax, but like C# it has no support for higher-kinded polymorphism (contextfree.livejournal.com) so unlike Haskell there's no way to create generic helper methods that work with every monad type. (Not to discourage anyone from trying F#, which is a nice language anyway.)