if len(nums) == 0 {
		return T(0)
	}
	return Reduce(min[T], nums, nums[0])
}

// VarMin is the variadic version of Min.
func VarMin[T IntLike](nums ...T) T {
	return Min(nums)
}

type myInt int

func main() {
	fmt.Println(VarMin(myInt(1), myInt(2)))

	seq := []myInt{1, 2}
	fmt.Println(Min(seq))
	fmt.Println(VarMin(seq...))

golang.org/toolchain@v0.0.1-go1.999testmod.darwin-amd64

-- .mod --
module golang.org/toolchain
-- .info --
{"Version":"v0.0.1-go1.999testmod.darwin-amd64"}
-- go.mod --
module golang.org/toolchain
-- bin/go --
#!/bin/sh
echo go1.999testmod here!
-- bin/gofmt --
echo i am unused

golang.org/toolchain@v0.0.1-go1.999testmod.darwin-arm64

-- .mod --
module golang.org/toolchain
-- .info --
{"Version":"v0.0.1-go1.999testmod.darwin-arm64"}
-- go.mod --
module golang.org/toolchain
-- bin/go --
#!/bin/sh
echo go1.999testmod here!
-- bin/gofmt --
echo i am unused

Andrew <******@****.***> 1574269611 -0500

Andrew <******@****.***> 1574269611 -0500

Andrew <******@****.***> 1574269611 -0500

.top5 {
	margin-top: 0.5em;
}

.top10 {
	margin-top: 1.0em;
}

.top15 {
	margin-top: 1.5em;
}

.top20 {
	margin-top: 2.0em;
}

.top25 {
	margin-top: 2.5em;
}

.top30 {
	margin-top: 3.0em;
}

.container .text-muted {
	margin: 20px 0;
}

.notification {
	text-align: center;
}

ul.has-error {
	color: #dd4b39 !important;
	list-style-type: none;
	padding: 0;
}

    margin: 0;
    margin-bottom: 2cm;
    padding: 0;
    padding-bottom: 2cm;
}

/*
 * Override colour -> black and white
 */
body, div, td {
    color: black;
}

h1, h2, h3, h4, h5 {
    color: black;
}

a {
    color: black;
}

/*
 * Book title page
 */

.titlepage h1.title {
    font-size: 360%;
    margin: 0;
    color: black;
}

body {
    margin: 0;
    padding: 0;
    font-family: sans-serif;
    font-size: 12pt;
}

body, a, a:visited {
    color: #303030;
}

#content {
    padding-left: 50px;
    padding-right: 50px;
    padding-top: 30px;
    padding-bottom: 30px;
}

#content h1 {
    font-size: 160%;
    margin-bottom: 10px;
}

#footer {
    margin-top: 100px;
    font-size: 80%;
    white-space: nowrap;
}

#summary {
    margin-top: 30px;
    margin-bottom: 40px;
}

#summary table {
    border-collapse: collapse;
}

#summary td {
    vertical-align: top;
}

.breadcrumbs, .breadcrumbs a {
    color: #606060;
}

.infoBox {
    width: 110px;
    padding-top: 15px;
    padding-bottom: 15px;
    text-align: center;
}

.infoBox p {
    margin: 0;
}

.counter, .percent {