type Size

type Dim0

type Dim1

type Dim2

type Ix2

data Vec2 tag i

data ShapeTag

data IndexTag

type Shape2

type Index2

squareShape

castToElemPtr

unzipShape

zipShape

verticalVal

horizontalVal