[Haskell-cafe] Matrices as Applicatives and Monads