ReasonML: Safe Routing