I've first encountered these techniques in Alexandrescu's Modern C++ Design. The most interesting for me was how one arrives to such solutions [in C++]. Later, I read SICP (which was the first time I touched FP) and everything got much more sense...