A good example of what can be done when you have a rich type system.

What do you want? Speed or safety? Ultimately you'll have to choose one.

A couple of interesting ideas. This fluid focus concept definitely require communication around it when applied.