I took this as a challenge. I wasn't entirely confident with my understanding, so I created a fully realized version in C# available here: https://github.com/bmurphy1976/transducers-dotnet

Yes, higher rank types are no problem for C# or Java generics. It's higher-kinder types that are unavailable.