you know what would be nice? if no matter where we looked for todos, we didn't forget to look in the other place for todos
a bit more flesh in partition-lens proof
tweaks
out of energy for the day, so write some notes to myself about what needs to happen next in this area