I'm not really a .Net (although I've done some C#) guy but I would kill for a bit of type safety in the large python code base I work on! Someone pleeeaaase start a Haskell company in London :-)