-- Выполнить операцию op над всеми элементами матриц попарно
mPerformOp ∷ (Ring a) ⇒ (a → a → a) → Matrix a → Matrix a → Matrix a
mPerformOp op [] [] = []
mPerformOp op (x : xs) (y : ys) =
    (performer x y) : (mPerformOp op xs ys)
    where
        performer x y =  map (λ (x, y) → op x y) $ zip x y

-- Сложение матриц
mAdd ∷(Ring a) ⇒ Matrix a → Matrix a → Matrix a
mAdd = mPerformOp add

-- Вычитание матриц
mSub ∷(Ring a) ⇒ Matrix a → Matrix a → Matrix a
mSub = mPerformOp minus