Why are there all these strange stumbling blocks in Julia?

free group (as mentioned above) is literally an example… though because a free group has “inverse letters” the length of a*b may be less than length(a) + length(b)