Data.Vinyl.TypeLevel

data Nat

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

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

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

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