Comment by timbuckley

For a great example of its use in a dynamically typed language, see Elixir.