Cascade.Util.ListKind

type family All c xs :: Constraint

type family Last ts :: a

type family Map f ts :: [b]

type family Tails as :: [[a]]

type family Tail as :: [a]

type family Init as :: [a]

type family RInits as :: [[a]]

type family Snoc x xs :: [a]

type family ZipWith f as bs :: [c]

type family Concat as bs :: [a]