ForSyDe.Shallow.Memory
data Memory a
data Access a
type MemSize
type Adr