Haskell List Comperhension and List Monad

Question

I\'m trying to write some self-defined type Martix a, which is basically list of lists [[a]]. When I tried to implement a function named colA