Securing parametrized routers - Theo's Typesafe Cult