Suppose the types that you want existed. Let's call them ConcreteArray, and Cell.
ConcreteArray gives the guarantee that all of it's elements are stored directly with a fixed stride. Can you give some examples of functions that would use these in their type signature?
