Reducer

typealias Reducer<S, A> = (state: S, action: A) -> S(source)