SizedGrid.Grid.Grid

data Grid cs a

type family Head xs where ...

type family Tail xs where ...

type family CollapseGrid cs a where ...

type family AllGridSizeKnown cs :: Constraint where ...

splitVectorBySize

collapseGrid

gridFromList