> I think the tilde then turns its left and right into "/"(1..10, 1..10), resulting in 1..10 1..10

That is the part which doesn’t make sense to me: `/ v` is `foldl1 () v`, how does that generalise to a cartesian product when applied to >1 sequences?