I noticed that the Clean 2.* compiler accepts the following type definition: :: *Matrix t :== *{#{#t}} Does this mean that Matrix Int for example will be stored in row-major order, since the un-boxing requests seems to be honored? Or, is this a bug? Thanks, --shiv--