Lobsters: Type Safe Servant Auth Roles