Stupid array shape strawman

gistfile1.hs

{-# LANGUAGE TypeOperators #-}

-- Ignore the names, these are just tuples, not type lists
data major :. minor = major :. minor -- Row major shapes
data minor .: major = minor .: major -- Col major shapes

class Shape sh where
    type Index sh
    index :: sh -> Index sh -> Int
    inRange :: sh -> Index sh -> Bool
    size :: sh -> Int

-- instances, blah

newtype Sparse a = Sparse a
-- The instances for Sparse will have to do compression

data Array shape el = Array shape {- bounds -} (Vector el) {- data -}