It’s been a long time since I posted something here. The diff of last post and this post is so big that even I’m lazy to post. I’ve lost couple of people past year which I’m never going to see again (
mapM_ rip allOfThem), but then I cleaned up a bit of TODO, so it felt like worth coming back!
Hopefully this time, I’m here to stay for a longer time (despite the fact that
time is always