The reason why GOTOs are not part of structural programming is because it makes programs less composable and hard to reason (verify) them.

So while it may be interesting to tinker with goto, it's a dead end of programming languages evolution, which goes in the direction of imposing new constraints over code.

It is interesting, that even recursion construct in FP languages can be further classified and broken down for those cata-, ana- and a lot more of different -morphisms, so in itself the quest to find new constructs is going on!