Teaser for the benefits of strongly typed pure functional programming