in sg/internal/utils/container.go [13:21]
func Filter[T any](xs []T, pred func(T) bool) []T { ys := make([]T, 0) for _, x := range xs { if pred(x) { ys = append(ys, x) } } return ys }