annotating with types so i don't hate myself in a few weeks