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