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