typealias StringValidator = (String) -> Boolean typealias Reductor<T, U, V> = (T, U) -> V