Servant.Auth.Server.Internal.Class
class IsAuth a v
class AreAuths as ctxs v
type family Unapp ls res where ...
type family App ls res where ...
class AppCtx ctx ls res