Type safety in middleware? - Hono