Safe matrix addition

module Main

import Data.Vect

Matr : Nat -> Nat -> Type -> Type
Matr w h a = Vect w (Vect h a)

total
add : Matr w h Int -> Matr w h Int -> Matr w h Int
add rs1 rs2 = Data.Vect.zipWith (\cs1, cs2 => Data.Vect.zipWith (+) cs1 cs2) rs1 rs2

main : IO ()
main = putStrLn "Hello World!"