Input signature of the functor Make
The type of the accumlator
The type of the folded in values.
The initial value of the accumulator.
The folding function.