Adds depedently typed routes to Servant - View it on GitHub