sized-grid (hackage): `size-grid` allows you to make finite sized grids and have their size and shape confirmed at compile time  Consult the readme for a short tutorial and explanation.
Keywords: data|library|mit|datatype|dependent-types|grid|haskell