data Nat

type family RIndex (r :: k) (rs :: [k]) :: Nat where ...

type family RImage (rs :: [k]) (ss :: [k]) :: [Nat] where ...

type family RDelete r rs where ...

type family RecAll (f :: u -> *) (rs :: [u]) (c :: * -> Constraint) :: Constraint where ...

type family (as :: [k]) ++ (bs :: [k]) :: [k] where ...

type family AllConstrained c ts :: Constraint where ...

type family AllSatisfied cs t :: Constraint where ...

type family AllAllSat cs ts :: Constraint where ...