Enhance features: Confound scalars and 1x1 matrix

[Akaban]

Hello,

This is a well done package but I was asking something to myself: would it be possible to confound scalars and 1x1 matrix ? As a scalar can be seen as a 1x1 matrix and conversely. Is this possible in Haskell?

Cheers,

Akaban.

[octopuscabbage]

I don't see how we'd be able to do this without tracking dimensionality information in the type (which actually isn't too bad of an idea in a better dependently typed language)