We here at /prague sure love us some Haskellin' and curryin'. Well, here's a project that will expand the way you think about Haskell. Meet Viskell: an experimental visual programming environment for a typed (Haskell-like) functional programming language.
I'm sure everything useful haskell does(except lazy eval) can be implemented as C++ library to write code in density comparable to Haskell without GC or runtime overhead. Of course implementing entire haskell library is too much , there needs to be approach like identifying primitive concepts of which everything is composed and implementing these concepts(like Lisp-like code in C++) first. using virtual functions,variadic templates/functions/macros,ADL abuse and constexr you can implement practically anything, even stuff haskell can't do due its design.