Typescript: Typing a combinator for reducer-like functions

Question

Consider the following types

type Reducer = Red
type Red = (s: S) => (c: C) => A

and the foll