Data-Oriented Design chapter

references:

- Mike Acton's talk: https://youtu.be/rX0ItVEVjHc?si=77prqtc6hA8_Hopy
- Andrew Kelley's practical talk: https://youtu.be/IroPQ150F6c?si=TUZYXcb2AOXxKg-h
- Handles are the better pointers post: https://floooh.github.io/2018/06/17/handles-vs-pointers.html
- the DoD book

The chapter should provide a practical manual to doing DoD in Haskell. Many of the DoD techniques should readily apply. Some won't though, for example we cannot always remove pointers by using `Int` that index into an array because the arrays we have in haskell have boxed elements (and are therefore still pointed to). But that does not mean the technique is not useful, for example we still might have better temporal locality with the array. Will need to micro-benchmark that but I'm not holding my breathe.