py3 types