This is a class for nested tuples used as sample frames.
Should we make Storable a superclass of
The argument is not touched and can be undefined
Size of elements.
In a nested record type, like
Stereo (Stereo a),
it is the size of the atomic element, in our example
We assume that the atomic element values all have the same size,
sizeOfElement undefined is defined.
Default implementations for a foldable Frame.
Returns the size of an undefined element.
This might be more efficient than
Space that an element consumes in a Storable Array. This is space for the element plus padding.