...И у меня сильное подозрение, что конкретно для уничтожения мэйнстрима с помощью агентов смитов подойдёт только Haskell (Хиндли-Милнер на стероидах), потому что F# не умеет автоматически выводить функторы. Можно помучиться с помощью free monad, но всё равно в нём нету ни тайп-классов, ни deriving, ни GADTs, ни HKTs...

Haskell зараза, довольно кривой сам по себе, награбастал себе кучу крутых абстракций :)

Хорошая кстати идея: начинаем проект с подбора максимально сильных абстракций, с которыми знаком, хотя бы на пару уровней выше классических паттернов GoF.