type family IsValidConcat i (a :: [Nat]) (b :: [Nat]) :: Bool where ...

type family Squeeze (a :: [Nat]) where ...

type family Concatenate i (a :: [Nat]) (b :: [Nat]) :: [Nat] where ...

type family IsValidTranspose (p :: [Nat]) (a :: [Nat]) :: Bool where ...

type family DimShuffle (a :: [a]) (a :: [Nat]) :: [a] where ...

type family Fold i (s :: [Nat]) where ...

type family FoldAlong i (s :: [Nat]) where ...

type family TailModule i (s :: [Nat]) where ...

type family HeadModule i (s :: [Nat]) where ...

type family Transpose a where ...