Fixing “Type instantiation is excessively deep and possibly infinite.” in a compositional function

Question

I have a function I created that chains functions together. I\'ve created a bunch of generic typings to correctly correlate the arguments that the resulting function can have. Y