@@ -61,11 +61,11 @@ forbid = id
6161-- For error message/presentation purposes, this wraps the result of
6262-- the membership checks below.
6363type family Authorize (s :: [Symbol]) a :: Constraint where
64− Authorize s a = HasScope (Scopes a) s ~ 'True
64+ Authorize s a = MatchAnyScope (Scopes a) s ~ 'True
6565
66−type family HasScope a s where
67− HasScope '[] s = 'True
68− HasScope a (x ': xs) = x ∈ a || HasScope a xs
66+type family MatchAnyScope a s where
67+ MatchAnyScope '[] s = 'True
68+ MatchAnyScope a (x ': xs) = x ∈ a || MatchAnyScope a xs
6969
7070type family (∈) a b where
7171 (∈) x '[] = 'False