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--