ghc-syntax-highlighter-0.0.7.0: data/TypeFamily.hs

type family All (c :: k -> Constraint) (xs :: [k]) :: Constraint where
  All c '[] = ()
  All c (x ': xs) = (c x, All c xs)