> Strong arrows is all about making static typing more useful to dynamic code.

Where "more useful" == safer and faster [0] when you make use of static typing.

[0] If the compiler and runtime take advantage of the optimization opportunities.