more typehints