type family ToServerRoutes (layout :: k) (wrapper :: * -> *) (action :: *) :: k where ...