Хотелось бы узнать, позволяют ли современные распространенные ФЯ вводить списки типов и затем манипулировать ими наподобие того, как это делает Александреску в C++. Я пробовал искать в Google по "type lists in Haskell" (именно Haskell меня в основном интересует) — ничего интересного...

Не так давно где-то тут проскакивало утверждение, что шаблоны в C++ — это не очень хорошая реализация того, что в ФЯ делается просто и естественно. В связи с этим, надеюсь на положительный ответ на свой вопрос.