public static function max(array $xs, $value) : array { return array_map(function ($x) use($value) { return max($x, $value); }, $xs); }