valueShape :: Value -> [Int]
valueShape (Int8Value shape _) = UVec.toList shape
valueShape :: Value -> [Int]
valueShape (Int8Value shape _) = UVec.toList shape
valueShape (Int8Value shape _) = UVec.toList shape