haskell/matrix: Reimplement Matrix with one-vector representation