20230829

 Fell asleep around 12, I believe. Woke up around 7 and got up immediately to have breakfast. Didn't want to play piano. Started to work around 8:20, tried to implement some features like schema migration, but introduced fp-ts into my project in the middle, at last fighted with Either, Option, pipe, and chain all day. Played Zelda after lunch, then returned to my study room to read out two English articles. Then continued to figure out how to avoid type mismatch errors. Played FIFA after dinner, then did some investigation on which cities are more suitable for living, especially for the elders. Planned to do the running exercise at 10, but lost motivation then. Completed 18 pomodoroes today - one for English, and seventeen for work.