For #14 added some examples of benefits of compile time checked routing