the implementation is what I find nifty.

return

is actually an expression of type

Nothing

and because

Nothing

is a subtype of every other type, it can be placed whenever any other type is expected. Same applies to

break

,

continue

and

throw