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