Like, I have a few partial mental models for everything that they pull together. I haven't really tried to build on that, though. Should put some time to that.
https://rd.nz/2009/03/goto-in-scala.html
It uses an experimental compiler plugin for the Scala compiler. It's typesafe at compile time. At runtime unfortunately it relies on exceptions for control flow.