A few more candidates for type annotation