constraint

type Comparable[T any] interface{ Compare(T) int }

type Float interface {
	~float32 | ~float64
}

type Integer interface {
	Signed | Unsigned
}

type Real interface{ Float | Integer }

type Signed interface {
	~int | ~int8 | ~int16 | ~int32 | ~int64
}

type Text interface{ ~string | ~[]rune | ~[]byte }

type Time = Comparable[time.Time]

type Unsigned interface {
	~uint | ~uint8 | ~uint16 | ~uint32 | ~uint64 | ~uintptr
}