What is our criteria for what data type is a "chunk"?

[balacij]

Immediately, I see at least two:

1. HasUID.
2. Dependencies (not a real typeclass, but one that would demand that said data type can form a list of its dependencies).

[JacquesCarette]

The meta reasons are:

• has a reason to be unique
• has a reason to be re-used
• is 'data' and not something deeply, deeply internal (although we might sometimes need reflection, so we might need to have twins)

[balacij]

Those are extremely important!

Aside: what about: "has (internal) sanity checks?"

[JacquesCarette]

I don't think "has (internal) sanity checks" is a requirement for chunks to exist. Orthogonal, really.

[balacij]

In f0714de1326ec5ed42b6f5f63af315ab3706aafd, I wrote an updated comment in the Drasil codebase for what a Chunk is. I think that this discussion is fine enough for now.