Here, I want to experiment with key-value stores. More precisely, associative arrays that are sorted by their key, and allow things like range queries. Things I'd like to play with: patches on key-value stores, and building data structures on top of them. Also, I just like playing with Agda.