balacij

`union` is a fun example of a `ChunkDB -> ChunkDB`. Import other ChunkDBs! ... though, we would need a `unionWith` under-the-hood to uphold UID uniqueness :smile:

@JacquesCarette Do you know if there's any easy ways to debug `` errors? The existing code on `newChunkDB` has some of the case studies giving me errors.

Thank you. I think I will need to break this up a bit so that I can tackle the problems a bit more gradually. Something's going awry, and I'm struggling...

The latest working version of this (and the one which I think we should ultimately continue this based on) is posted on a [fresh repo](https://github.com/balacij/NewExprTests/blob/typeCheckedInDrasil/src/KnowledgeBase/ChunkDB.hs) I made specifically for testing...

I'm not too sure there's much actionable for anyone on this ticket at the moment. The Haskell prototype worked well when I was using it. This ticket is currently blocked...

HLint is causing problems for this, but it looks like a separate issue. EDIT: I created #2969, it fixes the HLint problem locally, and I haven't waited yet to make...

A small note for the future, LearnYouAHaskell's website has been down for a while, but, luckily, there's a [community version](https://learnyouahaskell.github.io/) (with approval from the original author of LYAH) with [source...

I think @tingyuw is more knowledgeable in this area (this might also be helpful for her work?), so I think it's best for her to take a look at this...

A plain `constant` sounds the best to me now, too.

Following up from the last meeting (#2957), transcribing some discussion: This ticket is about defining scopes for variables/symbols (but potentially other things too). For many symbols, we do want them...