strongly typed shallow tranpose for general matrices!
(also oddly, the variable “in” cant appear in a type class constraint, that may be a ghc bug!)