Higher Kind Typeをサポートしたライブラリとして、Bow.swiftがあります。 SwiftでのFunctional Programingの入門についても最適であり、そちらの各種サンプルの説明やRx Swiftとの結合について話します。 また、この中でTagless Finalのサンプルもあり、こちらについてもカバーしたいと思います。
時間的に可能であれば、実際のユースケースまでカバーします。