Data.Vinyl.TypeLevel

data Nat

type family RIndex r rs :: Nat

type family RImage rs ss :: [Nat]

type family RecAll f rs c :: Constraint

type family as ++ bs :: [k]