This is almost an aside, but you should take a look at some of the stuff that comes out of Microsoft Research. They employ some of the biggest names in Haskell (Simon Peyton Jones for one) and have done some really interesting and bleeding edge work.