Thanks Tobi, I really appreciate it! I've updated the code sample with a better example that works correctly.

"Type Currying" is less common and useful in general than "Functional Currying," but I think the syntax is interesting.