在Haskell中编写一个矩阵求解器可以使用列表和递归来表示矩阵和进行矩阵运算。以下是一个简单的例子，它包含了矩阵的加法、减法和乘法运算。

type Matrix = [[Int]]

addMatrices :: Matrix -> Matrix -> Matrix
addMatrices = zipWith (zipWith (+))

subtractMatrices :: Matrix -> Matrix -> Matrix
subtractMatrices = zipWith (zipWith (-))

multiplyMatrices :: Matrix -> Matrix -> Matrix
multiplyMatrices a b = [[sum $ zipWith (*) ar bc | bc <- transpose b] | ar <- a]

printMatrix :: Matrix -> IO ()
printMatrix = mapM_ (putStrLn . unwords . map show)

main :: IO ()
main = do
  let a = [[1, 2, 3], [4, 5, 6], [7, 8, 9]]
      b = [[9, 8, 7], [6, 5, 4], [3, 2, 1]]
      c = addMatrices a b
      d = subtractMatrices a b
      e = multiplyMatrices a b
  putStrLn "Matrix A:"
  printMatrix a
  putStrLn "Matrix B:"
  printMatrix b
  putStrLn "A + B:"
  printMatrix c
  putStrLn "A - B:"
  printMatrix d
  putStrLn "A * B:"
  printMatrix e

这个例子定义了一个Matrix类型的别名，用于表示矩阵。然后定义了三个函数addMatrices、subtractMatrices和multiplyMatrices，用于执行矩阵的加法、减法和乘法运算。printMatrix函数用于打印矩阵。

在main函数中，我们定义了两个矩阵a和b，并使用addMatrices、subtractMatrices和multiplyMatrices函数执行运算。然后使用printMatrix函数打印结果。

如果在运行时遇到逻辑错误，可以使用Haskell调试工具来调试代码。例如，可以使用GHCi来逐步执行代码并检查变量的值，或者使用Haskell调试器如Haskell Debug Adapter等。