> 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.

> 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.