Sure, that's probably as close as you can get, but ideally it would be possible to write a type which guarantees the input functions are compatible as well as k

Sure, that's probably as close as you can get, but ideally it would be possible to write a type which guarantees the input functions are compatible as well as knowing what the type is of the returned function.